NFA到DFA的转换混乱？

Question

我在书中有这个NFA：

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

但是根据我解决的解决方案（通过找到每个状态的电子关闭），它看起来像这样：

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

我想念什么？

Answer 1

您的解决方案与DFA图相同，但有两个区别：

• 您的表包含无法访问的状态（BD，D）。这些是从图中剔除的。
• 图中存在打印错误。 {C}和{BDE}之间的两个箭头的标签已切换。 （从{C}到{BDE}的箭头应标记为b，从{BDE}到{C}的箭头应标记为c。）