【发布时间】:2011-04-18 03:13:27
【问题描述】:
有人可以帮我解答这个问题吗?
描述一种将 NFA 转换为 DFA 的算法,其语言是 L(A) 的补码。补码应针对 A 的字母表。给出一个非正式的论据来说明您的构造为何有效。您无需提供正式证明。
感谢任何形式的指导......
【问题讨论】:
-
我认为那里描述的特定 L(A) 是指问题 1 中的那个。如果没有 Richard Berg 发布的链接,这个问题是无法解决的。
有人可以帮我解答这个问题吗?
描述一种将 NFA 转换为 DFA 的算法,其语言是 L(A) 的补码。补码应针对 A 的字母表。给出一个非正式的论据来说明您的构造为何有效。您无需提供正式证明。
感谢任何形式的指导......
【问题讨论】:
您可以通过将 FA 的接受状态转换为非接受状态并将其非接受状态转换为接受状态来将 FA 转换为其补码。简单!
您可以通过考虑任何 NFA 状态是状态的幂来将 NFA 转换为 DFA:也就是说,对于 NFA 中的每个状态,它要么是活跃的,要么是不活跃的。您可以将这些状态中的每一个映射到 DFA 中的一个状态,因此您的 DFA 最多可以有 2|Q| 个状态,代表您的 NFA。
编辑:该算法及其证明实际上不需要 A 的详细信息,只要它是有效的有限状态自动机即可。
【讨论】: