最小化有限状态自动机
我正在尝试最小化此 DFA： http://img145.imageshack.us/img145/3006 /dfac.png
这是我的最小化 DFA：http://img195.imageshack。 us/img195/4131/mdfa.png
我说得对吗？ 谢谢
P.S.-这是家庭作业。我们可以讨论作业。我不是在寻求答案，我只是想知道我是否走在正确的轨道上，因为这是我第一次处理状态机。
I am trying to minimize this DFA: http://img145.imageshack.us/img145/3006/dfac.png
Here's my minimized DFA: http://img195.imageshack.us/img195/4131/mdfa.png
Am I correct?
Thanks
P.S.-This is homework. We are allowed to discuss the homework. I am not asking for the answer, I just want to know if I am on the right track or not as this is my first time dealing with state machines.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
不，您提出的解决方案不正确；您看到您构建的 dfa 可以接受（否则不可接受）字符串“aac”，这意味着您无法连接状态 (11,15,17) 和 (15,17)。
看看最初的 DFA，我想不出任何少于 6 个状态的解决方案；但这又没有任何意义;)。
No your proposed solution is not correct; you see the dfa you have constructed can accept the (otherwise non-acceptable) string "aac", that means you can't join states (11,15,17) and (15,17).
Looking at the original DFA I cannot think of any solution with less than 6 states; but yet again that means nothing ;).