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 包含无法访问的状态(
BD
、D
)。这些是从图表中剔除的。
- 图中有一个印刷错误。
{C}
和 {BDE}
之间的两个箭头切换了标签。 (从 {C}
到 {BDE}
的箭头应标记为 b
,从 {BDE}
到 {C}
的箭头应标记为 c
。)
我在给定的书中有这个 NFA:
他们解决的 DFA 结果是这样的:
但是根据我解决的解决方案(通过找到每个状态的电子关闭),它看起来像这样:
| a | b | c
----+----- +-----+---
ABD | CEBD | Φ | C
BD | EBD | Φ | C
C | Φ | EBD | Φ
D | EBD | Φ | Φ
EBD | EBD | Φ | C
CEBD| EBD | EBD | C
我错过了什么?
您的解决方案与 DFA 图相同,但有两处不同:
- 您的 table 包含无法访问的状态(
BD
、D
)。这些是从图表中剔除的。 - 图中有一个印刷错误。
{C}
和{BDE}
之间的两个箭头切换了标签。 (从{C}
到{BDE}
的箭头应标记为b
,从{BDE}
到{C}
的箭头应标记为c
。)