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個狀態的解決方案;但是這又意味着什麼都沒有;)。