当我们想要最小化DFA时，首先我们将最终和非最终状态分区。然后我们将这些状态分成几个分区，直到每个分区中的所有状态属于同一个等价类。现在我的问题是假设我们在dfa中有一个死状态，那么它应该进入非最终状态的分区还是一个单独的分区（只包含死状态）？还请告诉我这个死状态是否应算作其中一个状态在最小化的dfa？
答案 0 :(得分：3)
死亡状态进入非最终状态集，因为它不是接受状态。在最小化算法期间，您可以像处理任何其他状态一样对待它。当你完成后，如果你的DFA完全需要一个死亡状态，它应该有一个死状态作为其状态之一。一些常规语言需要死态，但算法“足够聪明”以确保它们被包含在内。
希望这有帮助！