ないDPDAは、それらのあるDPDAと同じくらい強力ですか？

確定的プッシュダウンオートマトンの正式な説明では、移動が許可されており、マシンは入力からシンボルを読み取らずにシンボルをスタックにポップまたはプッシュできます。これらの移動が許可されておらず、各シンボルの読み取り後にスタックを1回しか変更できない場合、結果のオートマトンはDPDAのパワーに等しくなりますか？ $\epsilon$ $\epsilon$

私はの冪使用に関して行方不明です些細な何かがあるかもしれません新しいとして「圧縮」にあなたをできるように、あなたが圧縮することができますどのように似てそれらのない同等のオートマトンに移動し、 Aに移動しますDFA。このような変換はDFAほど簡単ではないように思えますが、それが可能かどうかもわかりません。 $\Gamma$ $\Gamma$ $\epsilon$ $\epsilon$

それで、2つの力は同等ですか？DPDAには動きがあると誰もが想定しているように思えるので、私はただ尋ねています。 $\epsilon$

automata-theory context-free

— フィリイダ
ソース

はい。それでは、移動のあるものだけを調査する理由はありますか？

ϵ

$\epsilon$

— フィリイダ

ですから、実際にはを認識できることに気付きました。受け入れ状態で開始し、最初のを読み取ったら＆をスタックにプッシュし、2番目のを読み取ったら＃をスタックにプッシュします。その後、＃をスタックにプッシュした後に読み取ったから始めて、読み取ったすべてのスタックにを書き込みます。

L = {a^{2 n} b^{n}}

$L=\{a^{2n}b^n\}$

a

$a$

a

$a$

a

$a$

a

$a$

a

$a$

— フィリイダ

あなたが読めば次に、あなたが奇数の読みになることを知りながら「あなたがそうでなければ、別の状態になり、押し込み、（スタック状態で座って）拒否よスタックから。すべての読み取りに対してこれを繰り返します。最終的に解析中に＃がではなくスタックの最上部に場合、受け入れ状態に入ります。さらにシンボルが読み取られた場合、拒否状態に入ります。上記の概要と異なる場合は、拒否状態を入力します。それは動作しますか？

b

$b$

a

$a$

a

$a$

b

$b$

b

$b$

a

$a$

— フィリイダ

私にはいいですね。

— クラウスドレーゲル

私が間違っている場合は修正しますが、同意します。また、入力テープ上で常に右に移動する（停止することなく）DPDAでを認識できると思います。唯一のトリッキーな部分は、最終状態で仕上げることです。DPDAの受け入れには注意が必要です。

{a^{2 n} b^{n}}

$\{ a^{2n}b^{n} \}$

— マイケルウェハ

おそらく私はいくつかの関連情報を見つけました：

ジャン=ミシェル・オーテベール、ジャン・ベルステル、リュック・ボアソン; コンテキストフリー言語とプッシュダウンオートマトン。形式言語ハンドブック; 1997、pp 111-174

遷移のないDPDAは、リアルタイムの確定的プッシュダウンオートマトンとして知られています。 $\epsilon$

たとえば、DPDAよりも強力ではありません。

$L = \{ a^n b^p c a^n \mid p,n > 0\} \cup \{ a^nb^pdb^p\mid p,n > 0 \}$

確定的であり、DPDAで認識できますが、リアルタイム DPDAでは認識できません。

できることは、 -transitionsの増加を なくすことです。 $\epsilon$

提案5.4：どのDPDAでも、 -ruleが減少するように、同じ言語を認識するDPDAを構築できます。 $\epsilon$

— マルツィオ・デ・ビアシ
ソース

素晴らしいです、ありがとう！したがって、これは私の質問の最初の部分に答えます。第二部は-なぜこれらを研究しないのですか？誰もが非リアルタイムのものに集中しているようで、それは私には奇妙に思えます。

— フィリイダ

@DanielleEnsign：RDPDAに関するいくつかの結果を見つけることができます。例えば、等価性の問題は決定可能です。しかし、私はあなたに同意します、彼らはあまり注目されていません。

— マルツィオ