你怎么知道DFA是否可以最小化？

Question

这是计算理论的讲座之一，我们需要将epsilon-NFA转换为DFA。上表显示了最终结果DFA。根据图表，您如何知道是否需要进行最小化？是否做最小化的条件是什么？

Answer 1

识别初始和最终状态，然后绘制表填充算法 对于给定的状态并检查在每次转换时它们是否进入相同类型的状态，即最终状态或两者都是非最终状态然后如果是这样的话则可以最小化并通过给出不同的字符串作为输入来进一步检查。 如果它们不是那么它已经是最小化的dfa并且进一步没有最小化。