当我们想要最小化 DFA 时,首先我们划分最终状态和非最终状态。然后我们将这些状态划分为多个分区,直到每个分区中的所有状态都属于同一个等价类。现在我的问题是假设我们有dfa 中的死状态,那么它应该进入非最终状态的分区还是单独的分区(仅包含死状态)?另外请告诉我该死状态是否应该算作最小化状态之一dfa?
问问题
1046 次
当我们想要最小化 DFA 时,首先我们划分最终状态和非最终状态。然后我们将这些状态划分为多个分区,直到每个分区中的所有状态都属于同一个等价类。现在我的问题是假设我们有dfa 中的死状态,那么它应该进入非最终状态的分区还是单独的分区(仅包含死状态)?另外请告诉我该死状态是否应该算作最小化状态之一dfa?