PDAをCFGに変換する

Question

href="https://i.stack.imgur.com/lmhya.png" rel="nofollownoreferrer">

PDAをCFGに変換するというこの例を理解しようとしていますが、私はその考えを正しく入手していません。 $ p、\ \ epsilon \ q $ 、 $ x \ varepsilon \の場合、定理についての一般的な理解があります。 \ gamma $ for $ [pxq] $ x 私たちは、 x になる派生のシーケンスを含みます。 スタックから。

私は何が起こっているのかを部分的に理解していますが、私はそのプロダクションを紹介する方法を理解することはできません。例の例では（5）を行ってください。私たちが理解していることから、私たちは州PにありますPOP Aと最後に、私たちは空のスタック付きの状態Pにあるべきです。私たちが読んでいるように 0 私たちは生産にゼロが続き、それに続く $ [PAQ] [Qap] $ 、これは私が私のものです。私たちがPDAを見ると読んでいない方法はありません。私は本当に起こっているのか知りたいのですが。

関連の質問は答えられています しかし、私はそれが私の混乱をクリアする方法を理解することはできません。

Answer 1

あなたは基本的な直感権を持っています。 変数 $ [p、a、q] $ は、状態 $ p $からの計算のセットを表します。 $ q $ を、スタックから最上位のシンボル $ a $ をポップします。

href="https://i.stack.imgur.com/68ry9.png" rel="nofollow noreferrer">

Technalyy and grammar $ g $ とpda $ m $ の関係あなたが示すスライド。

それから建設は再帰に続きます。 PDAがPOPS $ A $ を押すと $ b_1b_2b3 $ を押すと、 $ a $ $ p $ で始まり $ Q $ < / SPAN> 3つの別々の計算 $ [Q_1、B_1、Q_2] [Q_2、B_1、Q_3] [Q_3、B_1、Q] $ 。ここでは、中間状態 $ Q_2、Q_3 $ は不明であり、文法によって推測です。 PDA命令が移動する状態であるため、 $ Q_1 $ のみが知られています。

href="https://i.stack.imgur.com/574os.imgur.com/574os.png" rel="nofollownoreferrer">

あなたの観察は正しいです。この標準的な構造は、トリプレット $ [p、a、q] $ を紹介するかもしれません。例では、 $ q $ から $ p $ からの計算はありません。="math-container"> $ [q、a、p] $ は成功した派生では使用されません。それは大包括的ではありません。建設はすべての可能性を生み出して、本当に望むならば、無駄になることが判明する変数は後で取り除くことができます。

注意事項他の質問あなたは別のSipserスタイルのオートマトンモデルを使用するためにリンクします！同時にポップすることなくスタックシンボルが1つずつ押されます。 答えに追加するは、スライドからの構造と完全に一致します！