オートマトン内のDFAの開始状態

Σ= {0,1} *上のすべての文字列を受け入れ、同じ記号（例：-0110,10101など）で終わるDFAを設計する必要があるとします。許容される文字列ですか？つまり、開始状態は最終状態ですか？オートマトン内のDFAの開始状態

2016-05-02 Hailey

これは、DFAで受け入れるべき言語の正確な記述ですか？私は2番目の条件を "文字列の最初の記号は最後の記号と同じです"と解釈します。文字列には記号が含まれている必要があることを強調していますので、空にすることはできません。 – werkritter

はい、それは言語の正確な説明です。 – Hailey

だから、私は初期状態の最終をマークする必要がありますか？ – Hailey

はい。

文字列εは{0,1} *に属し、その開始および終了シンボルは、それが意味するものに完全に依存DFA

2016-05-02 09:51:13 jagaran

によって受け入れられるべきdifferent.Soれません。人間の言語はあいまいで不正確です。だからこそ正規表現のような形式主義を発明するのです。

これが練習問題であれば、私はあなたに明確化のためにエクササイズを行っている人を尋ねるでしょう。表面には、二つの解釈が妥当なようだ：

練習で、元の言葉遣いを持っている場合は、引用符を付けることができますが、答えは明らかではありません。宿題の場合は、それぞれの解釈に1つずつ、常に2つのDFAを用意して、あいまいさについて何らかの議論をすることができます。

あなたが作成した質問だけの場合は、あなたの言語で空の文字列を使用するかどうかを自分で答える必要があります。

2016-05-02 13:07:53 Patrick87

しかし、εは、何も含まれておらず、何のためにも始まり、終わる方法が1つしかないという仮説的思考の一種です。 – Hailey

あなたは上記のコメントに集中できますか？ – Hailey

@Hailey質問について考える方法は他にもあるかもしれませんが、空の文字列が言語内にある解釈と少なくとも1つの解釈があります。空文字列の意味の解釈は、質問の解釈の一部として見ることができます。私は追加することがさらにあると確信していません。 – Patrick87

答えて