NFA 到 DFA 转换混乱?

NFA to DFA conversion confusion?

我在给定的书中有这个 NFA:

他们解决的 DFA 结果是这样的:

但是根据我解决的解决方案(通过找到每个状态的电子关闭),它看起来像这样:

    |  a   |  b  | c
----+----- +-----+---
ABD | CEBD |  Φ  | C
BD  | EBD  |  Φ  | C
C   |  Φ   | EBD | Φ
D   | EBD  |  Φ  | Φ
EBD | EBD  |  Φ  | C
CEBD| EBD  | EBD | C

我错过了什么?

您的解决方案与 DFA 图相同,但有两处不同:

  • 您的 table 包含无法访问的状态(BDD)。这些是从图表中剔除的。
  • 图中有一个印刷错误。 {C}{BDE} 之间的两个箭头切换了标签。 (从 {C}{BDE} 的箭头应标记为 b,从 {BDE}{C} 的箭头应标记为 c。)