RegEx を補完するために、DFA ダイアグラムと RegEx を表示するよう求められ(00 + 1)*ます。前の問題では、DFA の補数が閉じており、正規表現でもあることを証明する必要があったため、DFA の M を補数の M` に変換するには、最初の受け入れ状態と最終承認状態。
ただし、RegEx の最初の受け入れ状態は で{00, 1, ^}あり、最終的な受け入れ状態も{00, 1, ^}同様であるようです。したがって、それらを交換すると、まったく同じ RegEx と DFA が得られ、矛盾しているように見えます。
私は何か間違ったことをしていますか、それともこの正規表現には実際の補数がないはずですか?
ありがとうございました