問題タブ [pushdown-automaton]

人間の言語: 'c' で区切られた単語 ('a's と 'b's から作成) のリストで、インデックス i+2 の単語よりも多くの文字 'a' を含むインデックス i に少なくとも 1 つの単語が存在する

私の WinCE PDA アプリケーションでは、スキャンしたバーコード値をデータベース内の値と比較してテーブルを生成しています。

次のようにクエリを作成します。

ここで使用します。

クラスベースのプッシュダウン オートマトン有限ステート マシンを作成しました。コンテキスト クラス (内部状態が変更されているクラス) には、状態のみがアクセスできるいくつかのメソッドがあります (イテレータのインクリメント/デクリメント、状態のプッシュ/ポップ、受け入れ状態の設定など)。現在、さまざまな州がそれらへのアクセスを必要としているため、それらは公開されています。

メソッドを保護/非公開にし、状態をコンテキストの友人として定義する方がよいでしょうか?

（nb4「意見に基づく！」）

E が最も一般的な文字であるすべての単語を受け入れる PDA または CFG を構築しようとしています。たとえば、チーズとティーは言語になります。この言語は文脈自由であることは確かですが、PDA を構築することはできないようです。これは可能ですか？

私の構造体の知識が不足していると思います。次のようなエラーが表示されます。

1. pda.c:33:26: エラー: 'top' が宣言されていません (この関数で最初に使用)
   if(pda.stack[top] == '\0')
2. pda.c:54:7: エラー: 'accepted' が宣言されていません (この関数で最初に使用)
   if(accepted == 0)
3. pda.c: 関数 'qX' 内:
   pda.c:93:17: エラー: 'top' が宣言されていません (この関数で最初に使用)
   pda.stack[top] = input;

基本的に、グローバル構造体の変数が認識されていません。その理由はわかりません。ここに私の文書化されたコードがあります:

何か案は？ありがとう。

次のような質問があります。

{a^ib^j | 言語を受け入れる PDA を構築します。0 <= 私 <= j}

これが与えられた解決策です：

しかし、私の理解では、可能な入力文字列は b で始まります。なぜなら、i は 0 で a^i は 1 である可能性があり、j は 1 で b^j は b である可能性があるためです。それは言う：

δ ( q0, b, z ) = ( q1, z ) ?

または私は何かを誤解していますか？