编译原理陈火旺版第三章ppt精要.ppt

显然 ： DFA是NFA的特例，但是对于每个NFA M存在一个DFA M〃, 使得 L(M)=L(M〃) 证明： ⑴假定NFA M=S，∑，δ，S0，F，对于M的状态转换图进行以下改造： ①引入新的初态结点X和终态结点Y； X,Y?S， 从X至S0中任意初态结点连一条ε有向弧，从F中任意终态结点连一条ε有向弧到Y。 ②对M的状态转换图使用图3.7所示的替换规则进行替换，其中k是最新引入状态。 重复上述替换，直到每条弧的标记或为ε或为∑中单个字母，即可得到NFA M′，显然L(M′)=L(M)。 ⑵ 将M′变换成DFA，方法如下： ①假定 I 是M′状态集的子集，定义I 的ε闭包 ε_closure(I)为： (a) 若q∈I，则q∈ε_closure(I) (b) 若q∈I，则从q出发经过任意条ε弧而能到达的任何状态q′∈ε_closure(I) i j AB 代之以 i j k A B i 代之以 代之以 i j A|B j A B A i j k ε ε i j A* 图3.7 替换规则 ②假定I是M′状态集的子集，a∈∑，定义 Ia=ε_closure(J) 其中J是那些可从 I 中的某一状态结点出发经过一条a弧而到达的状态结点的全体。 ③假定∑={a1,……,ak}，构造表（即状态转