確定的有限オートマトンの理論的アプローチ

Question

LをDFAで受け入れられる言語にする。 LをLのすべての文字列の最後の記号を削除することによって得られた言語とする.Lを受け入れるDFAを構築することが可能かどうかを調べる。

どのようにこの特定の問題にアプローチしますか？

可能な解決策は、最終状態の直前の状態を最終状態として、古い最終状態を省略することで（私のアプローチ）可能です。それが正しいか ？？ （そうでない場合）、あなたは彼らが最終的にする場合は、ほとんどの時間は、初期言語を摂動されているが、多くとすることができ、ユニーク前の状態はありません。

Answer 1

あなたのアプローチは、2つの問題があります余分な単語を追加します。しかし、あなたは正しい道を歩いています。解決策は、最後の状態を除去し、以前のすべての状態から新たな最終状態へのイプシロン遷移を有する新しい最終状態を加えることである。