最小化有限状态自动机

Question

我正在尝试最小化此DFA：http://img145.imageshack.us/img145/3006/dfac.png

这是我最小化的DFA：http://img195.imageshack.us/img195/4131/mdfa.png

我说错了吗？ 感谢

P.S.-这是作业。我们被允许讨论作业。我不是要求答案，我只是想知道我是否在正确的轨道上，因为这是我第一次处理状态机。

Answer 1

没有您提出的解决方案不正确;你看到你构造的dfa可以接受（否则是不可接受的）字符串“aac”，这意味着你不能加入状态（11,15,17）和（15,17）。

查看原始DFA，我无法想到任何少于6个状态的解决方案;但这又意味着什么;）。