我已经完成了4次此问题,并且在DFA中遇到了相同的错误。因此,这是我的起始epsilon NFA在图片的顶部,而我到达图片底部的非epsilon NFA。
编辑:1为开始状态。抱歉。
最后,这就是生成的DFA:
问题是字符串'aab'应该导致它进入死状态,但不在我得到的DFA中,因为在原始的epsilon NFA中,字符串'aab'会导致机器的副本死亡。 'aab',但是在我的DFA中它被接受了,我不确定错误在哪里。
这似乎与最终状态有关,但是我认为,将NFA中的最终状态合并后,与先前的最终状态合并的那些状态也将成为最终状态。