決定性有限状態オートマトン（DFA）試験Q

デザイン決定性有限状態オートマトン（DFA）以下仕様に従って：

そのアルファベット{0、1}です。

その言語は、1の奇数のすべての単語で構成されます。

（アルファベットの一部であっても）0は受け入れられません。このことにより、だから、

は、私はそれが働いていたものの、それが唯一の「111」例えば受け入れて、「11」

私の最初の試みを拒否するだろう意味確信している、それが0の受け入れている（111は11を拒否受け付け）

私の第二の試みは、私は、まず図を遷移表を作成しようとしましたが、私は私のテーブルをした場合を除き、Q1はQ2への段階がありませんでした誤っ

私の最後の試みは、私が思うit..worked？しかし、私は、この図が有効であるかどうかわからないんだけど

誰かが私に正しい方法とどのように正確に私はこれを解決する見出し/正しい3つの図のどのいくつかの洞察を与えることができる/遷移表を行う

更新：あなたはあなたの最後の図は、（有効ではありません）良いです

2016-12-22 Anonymous

"その言語は1の奇数のすべての単語で構成され、0はアルファベットの一部であっても受け入れられません。" - それは、あなたがn> = 0である1 ^（2n + 1）という言葉を受け入れるFSMを作成する必要があるということですか？ –

アルファベットの一部ですが、あなたの文字列は0を持つことはできませんが、マシンは0を許可しません。 1の0とODDの量がある場合。それはまだそれを拒否すべきです。受け入れ状態には、1と奇数だけが含まれていなければなりません。 –

それは0で厄介です。彼らはとにかく受け入れられません（1を数えても）、あなたは文字を拒否できません - あなたは入力全体を受け入れているか拒否しています。これは言葉です。 –

この@PavelPájaHalbichのような意味でください。それが有効な取得するには、トランジションを追加する必要があります。

をします使用して3つの状態と、他の状態、1つの開始状態（q0）および1組の受け入れ状態（{q1}）への定義された各状態について遷移する。

2016-12-22 13:43:13

私は見ていますが、q1 - > q2はありますが、q2 - > q1からどうやって得るのですか？ –

私は最後にメインのポストを更新しました。これはどういう意味ですか？ –

@godlypython入力上の単語に少なくとも0が含まれていると、この単語を拒否し、入力に0を使用する失敗状態を作成する必要があると言っています。その後、あなたは元の状態に戻ってはならない（あなたが失敗状態にあるので） –

答えて