pushdown-automaton

1熱

1答えて

私は理論クラスのためのHW割り当てを行っていて、どこから始めるべきかわからないという問題に直面しました。プッシュダウンオートマトンのセクションをカバーしています。 "L1を文脈自由言語とし、L2を規則正しくする。L1とL2に無限の共通要素があるかどうかを判断するアルゴリズムが存在することを示す。これを解決する方法についてはわかりません。アイデアをつかむことができません。私は、規則的な言語はあいま

2熱

1答えて

2つの同じ部分文字列の出現を保証するためにプッシュダウンオートマトンを生成する

プッシュダウンオートマトン（PDA）を生成して、10個の部分文字列と同じ数の01部分文字列が存在することを確認し、同様に00部分文字列11個の部分文字列。相続人問題：レッツL1⊆{0、1} * 10個のサブストリングとして01サブストリングの同じ数を有する文字列の言語、および00 サブストリングの同じ数のようにすること11個の部分文字列。（注：000には2つの00部分文字列があります）言

2熱

1答えて

文脈自由へのプッシュダウンオートマトン：それを行う方法？

次のオートマトンに生成するCFGを記述する必要があります。私はこのような変遷ことを知っている： -es, es; S lead to a rule like S-> es -es, B; es lead to a rule like B -> es -es, B; aB lead to a rule like B-> aB ESは空の文字列を表します。しかし、私は "c、a; a"のよ

-3熱

1答えて

オートマトンの2 pdf（2スタック）の中央の文字を見つける

中間の文字としてAを持つすべての単語の中間のAを受け入れる2PDAを描画します。また、その論理を説明してください。

0熱

1答えて

この場合のプッシュダウンオートマトンは便利ですか？

大学では、Javaコードの一部の構文をチェックするために、文法とプッシュダウンオートマトンについて質問します。私はこのオートマトンを使用していないので、私は彼らがどのように動作するかについて少しは学んだし、プッシュダウンオートマトンはトークンの間のある割合で文法を検証するために使われているので、 "0^n 1^2n | n> = 0"のようになります。トークンの間のこの割合はコード構文には存在し

1熱

1答えて

文脈自由文法の場合、どのようにそれを同等のプッシュダウンオートマトンに変換するのですか？

開始変数Sを持つ文脈自由文法GがΣ= {0,1,2}である場合： S→0S0 | 1S1 | 2S2 | Y Y→私はプッシュダウンオートマトンは、スタックの一番上に記号をプッシュし、それらをオフにポップすることができます同等のプッシュダウンオートマトン

1熱

1答えて

不等要素によるプッシュダウンオートメーション

言語L = {0,1}^*があり、1と0は等しい数ではないことがあります。どのように私はそれをPDAオートマトンに提示できますか？ありがとうございます！

2熱

1答えて

DFAよりもパワフルで、DPDAよりも強力です

有限オートマトンよりも強力ですが、確定的プッシュダウンオートマトンより強力ではないものはありますか？

0熱

1答えて

PDAで受け入れられる言語

私は、アイテムを押して、スタックの項目を押したり押したりするときに、プッシュダウンオートマトンの表記を理解するのに苦労しています。文字列を受け入れるには、スタックが空である必要があることを理解します。ここでは私のPDAです：私は入力0011を言うための遷移図を作成する場合、私はこのようにそれを行うだろう：入力が空のスタックであるので State Input Stack q0