完全な質問は次のとおりです。
「DFAが特定の正規言語のすべての文字列を受け入れるかどうかをテストする方法を考えています。正規表現 (0+11)*1 によって与えられた言語を想定してください。これはアルファベット E={0,1} 上の言語を奇数の 1 で、常に 1 で終了し、他の可能な 1 は偶数の長さのグループになっています。可能な DFA は以下に示すものです:
DFA が言語のすべての文字列を受け入れるかどうかをテストする方法を説明してください。"
DFA は正しいと言われていますが、正しいこともわかります。私は、DFA があれば、状態の除去またはパスの構築を使用して RE を取得できると考えていました。または、RE から始めて e-NFA を取得し、次に DFA を取得して単純化することもできます。ですから、そのうちの 1 つから始めて、変換メソッドを使用してもう 1 つを取得することができる、と私は考えています。
しかし、質問の言い回しを見ると、DFA をテストするための何らかの体系的な方法 (プログラムではなく、ペンと紙を使用) があるように思えます。
だから私の質問は、変換方法が十分であると仮定して何かが欠けているのでしょうか? 1 つの問題は、まったく同じ式または DFA を取得できない可能性があるため、同等性を確認するのが難しい場合があると思います。