我搜索了谷歌，在许多页面中都给出了在最小化 DFA 死状态或陷阱状态中被删除的情况。我的问题是，如果某些转换未定义，它怎么可能仍然是 DFA。那你说人呢？
最佳答案
即使是最小的 DFA 也必须包含死状态；否则，它们要么 (a) 不是 DFA，要么 (b) 不接受与其非最小对应方相同的语言。例如，语言 {a} 在字母表 {a, b} 上的最小 DFA 必须具有 3 个状态:开始状态，您可以看到 a 并接受；一种接受状态，如果你看到其他任何东西，你就会拒绝；如果你看到一个 b 或任何处于接受状态的东西，你就会进入死状态。
从未听说过从最小 DFA 中省略死状态。亵渎!
关于finite-automata - Dead state 是否包含在 Minimized DFA 中？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/9141293/