NFA到DFA的转化

提示：以下是本篇文章正文内容，下面案例可供参考

NFA到DFA的转化

概念：不确定的有穷自动机(NFA)与确定的有穷自动机(DFA)从功能上来说是等价的，它们所接受的语言类相同。给定一个NFA M’，构造一个DFA M，使得L(M’) = L(M)。以下介绍两个状态子集的计算方法，转化过程需要用到。

1.状态集P的 ɛ 闭包

若P是NFA M’的状态集Q的一个子集，则ɛ - closure§称为状态集P的 ɛ 闭包。计算方法如下：

1.1 若q∈P，则q∈ɛ - closure§，即P的所有成员都是P的ɛ 闭包的成员；

1.2 若q∈P，那么从q出发经过任意条 ɛ 弧而能到达的任何状态都属于 ɛ - closure§。

举例说明：

设NFA M’如下图所示，试求P={1}，P={2}，P={1,2} 的 ɛ 闭包。

解：当P={1}时，有

∵〥(1, ɛ) = 3, 〥(3, ɛ) = 4, 〥(3, ɛ) = 6

∴ ɛ - closure({1}) = {1，3，4，6}

同理得，
ɛ - closure({2}) = {2，6}
ɛ - closure({1，2}) = {1，2，3，4，6}

2.状态集P的a弧线转换集

设P是NFA M’的状态集Q的一个子集，P={P₁, P₂, P₃,…,P_n}，a∈∑，则P_a弧转换集为：P_a= ɛ - closure(J)

其中，J = 〥(P₁, ɛ) ∪〥(P₂, ɛ) ∪…∪〥(P_n, ɛ)

以图一为例说明：设P={1}，试求P_a

P_a = ɛ - closure(J) = ɛ - closure(〥(1, a) ) = ɛ - closure({2，4}) = {2，4，6}

NFA构造DFA：

1. 求NFA M’开始状态q₀’ 的ɛ闭包，确定DNF的开始状态q₀；
2. 求开始状态q₀对每个输入字符的弧转换集，确定与开始状态q₀有关的状态转换函数；
3. 对新的状态计算相关的状态转换函数；
4. 根据产生的各个状态确定结束状态集F={p|p ∩ F‘ ≠ ∅}，p为M的每个状态子集；
5. 得到确定的有穷自动机，画出状态图或状态转换矩阵。

举例说明：

设NFA M’=(Q’, ∑’∪{ ɛ }, q₀’, F’, 〥)，其中Q‘ = {1，2，3，4}，∑’ = {a，b，c}，q₀’={1}，F’={4}；如下图：

解：①求NFA M’开始状态q₀’ 的ɛ闭包，确定DNF的开始状态q₀

q₀= ɛ - closure({q₀’}) = ɛ - closure({1}) = {1, 4};

②求开始状态q₀对每个输入字符的弧转换集，确定与开始状态q₀有关的状态转换函数

〥(q₀, a) = q_0a = ɛ - closure(〥(1, a) ∪ 〥(4, a)) = {2, 3}; ---->新状态q₁={2, 3}

〥(q₀, b) = q_0b = ∅;

〥(q₀, c) = q_0c = ∅;

③对新的状态计算相关的状态转换函数

〥(q₁, a) = q_1a = {2}; ---->新状态q₂={2}

〥(q₁, b) = q_1b = {4}; ---->新状态q₃={4}

〥(q₁, c) = q_1c ={3, 4}; ---->新状态q₄={3, 4}

q2	q3	q4
〥(q2, a) = q2a = q2；	〥(q3, a) = q3a = ∅；	〥(q4, a) = q4a = ∅；
〥(q2, b) = q2b = q3；	〥(q3, b) = q3a = ∅；	〥(q4, b) = q4c = ∅；
〥(q2, c) = q2c = ∅；	〥(q3, c) = q3b = ∅；	〥(q4, c) = q4c = q4；

④根据各个状态确定结束状态集F={p|p ∩ F‘ ≠ ∅},p为M的每个状态子集

∵q₀={1, 4}, q₁={2, 3}, q₂= {2}, q₃={4}, q₄={3, 4} 与F‘={4} 相交不为空

∴F={q₀，q₃，q₄}

⑤得到确定的有穷自动机，状态图或状态转换矩阵(读者可自行画出)

DFA M = ({q₀, q₁, q₂, q₃, q₄}, {a, b, c}, {1, 4}, {q₀, q₃, q₄}, 〥)

写在最后：
深入学习建议阅读《编译原理及实现》（第2版-清华大学出版社）作者 孙悦红