theory - 正規表現 0(0+1)*0+1(0+1)*1 の DFA は?

Question

これは私が描いたDFAです-

それが正しいか？の規則に違反する同じ入力シンボルに対して状態の遷移が異なる
ため、私は混乱していますが、他の解決策は考えられません。q42DFA

Answer 1

DFA が正しくありません。
_{あなたのDFAは完全に間違っているので、コメントしません}

RE の DFA:

0(1 + 0)*0 + 1(1 + 0)*1  

言語の説明: 文字列がで始まる場合0、0または文字列が で始まる場合1は、で終わる必要があり1ます。したがって、2 つの最終状態 (状態 5、状態 4) です。

state-4 : 受け入れます 1(1 + 0)*1
state-5 : 受け入れます 0(1 + 0)*0
state-1 : 開始状態。

DFA :

編集：

+ 正規表現の演算子

(0 + 1)* = (1 + 0)*これは、 Null string を含む1とで構成される任意の文字列です。 0^

これは、2 つの RE: と(同様に)=>+の間に表示される場合、Union を意味します。A U B = B U A(0 + 1) = (0 + 1)

_{plus の意味は、+表示される構文によって異なります。expression が⁺ (+上付き文字) の場合、これは複数aの の 1 つを意味し、If a+bthenは、 または のいずれかの+ユニオン操作を意味します。ab}

a+ : { a, aa, aaa, aaa.....}これは、 を含む言語の任意の数のa文字列length > 1です。