computer-science - 有限状態オートマトンの最小化

Question

このDFAを最小化しようとしています：http：//img145.imageshack.us/img145/3006/dfac.png

これが私の最小化されたDFAです：http：//img195.imageshack.us/img195/4131/mdfa.png

私は正しいですか？ありがとう

PS-これは宿題です。宿題について話し合うことができます。私は答えを求めていません。ステートマシンを扱うのはこれが初めてなので、自分が正しい方向に進んでいるかどうかを知りたいだけです。

Answer 1

提案された解決策は正しくありません。構築したdfaが（そうでなければ受け入れられない）文字列 "aac"を受け入れることができることがわかります。これは、状態（11,15,17）と（15,17）を結合できないことを意味します。

元のDFAを見ると、状態が6未満のソリューションは考えられません。しかし、それでも意味はありません;）。