Pra*_*waj 3 finite-automata dfa
我搜索了谷歌,并在许多页面中给出了最小化DFA死状态或陷阱状态被删除.我的问题是,如果某些转换未定义,它仍然是一个DFA.那么你说的人呢?
即使是最小的DFA也必须包括死态; 否则,它们要么是(a)不是DFA,要么(b)不接受与非最小对应方相同的语言.例如,字母{a,b}上的语言{a}的最小DFA必须具有3种状态:开始状态,您可以在其中看到并接受; 如果你看到其他任何东西,你拒绝的接受状态; 如果你看到ab或任何处于接受状态的东西,你就去了.
从来没有听说过从最小的DFA中省略死态.亵渎!