1

我想这个DFA最小化:http://img145.imageshack.us/img145/3006/dfac.png最小化有限状态自动

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

,对吗? 谢谢

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

+0

这似乎更适合http://cstheory.stackexchange.com。此外,你可以上传图片到SO,请不要发布链接到某些点会死的网站。 – 2011-03-07 09:07:34

+0

这个问题似乎是题外话题,因为它是关于一般计算机科学。 – Bakuriu 2014-03-04 19:58:03

回答

0

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

看着原来的DFA,我想不出有少于6个状态的解决方案;但是这又意味着什么都没有;)。