問題タブ [automata-theory]

添付の DFA が正しいかどうか教えてもらえますか?

アルファベット Σ ={a, b} を持つ言語に DFA を与えるとします。

これにはDFAが必要です ----> A={ε, b, ab}

文字列{ 0,1 } のDFAを設計します。逆にすると、 10 進数は2 mod 7 に相当し ますか?

言語 a^nb^2n が 100 => n <= 0 のように有限である場合に限り、どのようにして正規である可能性がありますか?

n=>0 のとき ( a^nb^n ) のような形式の言語は規則的ではないことを私は知っています。これは、a と b の数を追跡するために一時メモリが必要であり、すべての有限言語が規則的であることを知っています。正規ですが、同様の形式の有限言語を正規にする理由がわかりませんか? どのように証明できますか？手がかりが必要です。同等の正規表現を取得できることに加えて、より詳細な説明が必要です..

ありがとう

|Q|=2{いいえ。州の数は 2},|Ɛ|=2{いいえ。アルファベットの}および|F|=1{いいえ。最終状態の} ?

OpenGL は通常、「ステート マシン」と呼ばれます。これは、私の知る限り、API を介して設定できるグローバル変数で構成され、その動作を変更/定義するためです。たとえば、現在の色または変換マトリックスを設定できます。状態変数の多くは連続的な値の範囲を持っています。

ただし、私が理解している限り、コンピューターサイエンスの「ステートマシン」または「有限ステートマシン」は、状態 (ノード) と遷移 (有向エッジ) の有向グラフとして定義されています。

OpenGL を説明するために使用される「ステート マシン」という用語は、一般的なコンピューター サイエンスで定義されている「ステート マシン」と同じです。

一連の入力記号 Σ={a,b} 、L={ε,a,abbb,aabbbbbbbbb,aaabbbbbbbbbbbbbbbbbb,...} を想定します。

次に、上記の言語の有限オートマトン (つまり、単純な算術等比数列を形成する) はどうなるでしょうか?

任意のドキュメントが与えられた場合、ドキュメントに含まれる単語のみを受け入れる NFA を生成できるようにしたいと考えています。基本的に、任意のドキュメントから動的に NFA を生成できる関数を書きたいと考えています。すでにそれを行う既存のアルゴリズムはありますか?

私が教えてくれたように、最初のプロダクション ルールはコンテキスト フリーです (左側が右側よりも小さいため) が、2 番目のプロダクション ルールではそうではありません (左側の長さが右側と等しいため)。

さて、このステートメントでこの文法について何が言えるでしょうか。それは文脈自由ですか？

これが文脈自由言語である理由と、このためのプッシュダウンオートマトンを構築する方法を誰かが説明できますか? リンク解決策 で解決策を見つけまし たが、言語を理解できません。