Epsilon NFA到DFA转换

时间:2019-03-01 03:32:06

标签: string theory automata

我已经完成了4次此问题,并且在DFA中遇到了相同的错误。因此,这是我的起始epsilon NFA在图片的顶部,而我到达图片底部的非epsilon NFA。

编辑:1为开始状态。抱歉。

https://imgur.com/a/iMiqciy

最后,这就是生成的DFA:

https://imgur.com/a/14oUihv

问题是字符串'aab'应该导致它进入死状态,但不在我得到的DFA中,因为在原始的epsilon NFA中,字符串'aab'会导致机器的副本死亡。 'aab',但是在我的DFA中它被接受了,我不确定错误在哪里。

这似乎与最终状态有关,但是我认为,将NFA中的最终状态合并后,与先前的最终状态合并的那些状态也将成为最终状态。

0 个答案:

没有答案