死亡状态是否包含在最小化DFA中？

Question

我搜索了谷歌，并在许多页面中给出了最小化DFA死亡状态或陷阱状态被删除。我的问题是，如果某些转换未定义，它仍然是一个DFA。那么你说的人呢？

Answer 1

即使是最小的DFA也必须包含死亡状态;否则，它们要么是（a）不是DFA，要么（b）不接受与非最小对应方相同的语言。例如，字母{a，b}上的语言{a}的最小DFA必须具有3种状态：开始状态，您可以看到并接受;如果你看到其他任何东西，你拒绝的接受状态;如果你看到一个b或任何处于接受状态的东西，你就会去死的状态。

从未听说过从最小的DFA中省略死亡状态。亵渎！

Answer 2

在“最小”版本中不会删除死亡状态，但是在DFA的“逆转”期间它们会丢失（可能是你的条款混淆了）

Answer 3

@PrashantBhardwaj：我也认为应该包括它（死亡状态和相应的死亡动作），因为包括它将完成DFA，即，我们不会在最小化的DFA中对特定状态进行任何匿名移动考虑一下。

但问题仍然没有答案？最后，我们是否应该加入？有人可以证明吗？