その言語 L を受け入れる NPDA の 2 つの状態で遷移グラフを描きたいとしましょう。また、この NPDA はちょうど 2 つの状態を持つとしましょう。これについての私の考えは、最初の状態ですべてを行い、2番目の状態をグランドフィナーレとして使用することです. そのようです：
しかし、ラムダ遷移が結果になるq1かどうか、またはこれを行うためのより良い方法があるかどうかはわかりません。これを自分自身に教えようとしているので、より良い方法がある可能性があります。おそらく、誰かが私をここで軌道に乗せることができますか?