DFA中组合状态的含义

Question

将 NFA 转换为 DFA 时，有时必须合并状态。就像上面的场景一样。

但在真实场景中“将状态组合为一个”的真正含义是什么？

以上两种状态组合的性质是什么？

Answer 1

短语将状态合二为一的意思是，你

1. 创建一个新状态，使用原始状态的所有标签进行标记。
2. 新状态从原始状态获取所有输出和所有冲突（不明确）输入转换。
3. 原始标签的每个组合只能在一种新条件下出现。

注意：在 DFA 中创建具有单个标签的新状态可以看作是上述情况的一种特殊情况。

用原始状态的标签命名新状态的意义在于，您可以在后续生成过程中明确地引用这个新状态。