第3章词法分析与有穷自动机.pptVIP

输入：一个NFA N 输出：一个接受（识别）相同语言的DFA M 方法：利用构造 ε –闭包的方法将NFA确定化 为DFA。 1. 状态集合 I 的 ε –闭包的概念。 设I是NFA N的一个状态子集, ε – closure(I)定义 如 下： (1) 若s∈I , 则 s∈ε – closure(I) (2) 若s∈I ,那么从s出发经过任意条ε弧而能到达的任何状态 s，都属于ε – closure(I) 3.4.4 NFA确定化为DFA的方法 由定义可知, ε – closure(I) 表示所有那些从I中的元素出发经过 ε 道路所能到达的NFA的状态所组成的集合, I中任何状态也在其中，因为它们是通过 ε 通路到达自身的。该集合对DFA来说是一个状态。 3.4.4 NFA确定化为DFA的方法 ε – closure({0})={0,1,2,3}, 即{ 0,1,2,3} 中的任一状态都是从NFA的初态0出发， 经任意条ε道路可到达的状态。 通过下图理解状态集合 I 的 ε 一闭包。 这个状态集合实际就是要求的DFA的初态。 0 1 2 3 4 5 6 7 8 9 ε ε ε ε ε ε ε b b 3.4.4 NFA确定化为DFA的方法 因为在状态A中只有状态0有b的转移，转移 到的状态为4和7。 若令A={0,1,2,3},则 那么令B= ε – closure({4,7})={4,5,6,7,8,9} 即是DFA在状态A下遇到输入符号b，转移到 的后继状态。 J=f(A,b)=f(0,b)∪f(1,b)∪f(2,b)∪f(3,b)={4,7} 0 1 2 3 4 5 6 7 8 9 ε ε ε ε ε ε ε b b 3.4.4 NFA确定化为DFA的方法 2. 从 NFA N 构造 DFA M 的算法 已知 NFA N=( Q, ∑, f, x, {y}) 求 DFA M=( Q, ∑, f , 初态, 终态集 ) 开始令Q={ } 3.4.4 NFA确定化为DFA的方法 求DFA M的初态ε–CLOSURE({x}),并置为无标记送入Q; while ( Q中存在一个无标记的状态 T={ s1, s2, s3, …, sn} ) { 标记T; for ( 每个输入符号a ) { J = f ({s1, s2, s3, …, sn},a ) U = ε–CLOSURE( J ); if (U不在Q中 U不为空) 置U为无标记并送入Q; if (U不为空) 置M[T, a ]=U; if (U中至少有一个是N的终态) U为M的终态; } } / * 求解 f ( T, a )=U */ = f ( s1, a )∪f ( s2 , a )∪… ∪f ( sn, a ); 3.4.4 NFA确定化为DFA的方法 例1 将下图所示的NFA N确定化。 其等价DFA的开始状态为: A=ε–CLOSURE({X}) ={X, 0, 1} A作为未标记的状态,添加到Q中。 b { X, 0, 1 } { 0, 1, Y } { 0, 1, 3 } { 0, 1 } { 0, 1, 2 } a { 0, 1, 2 } { 0 ,1, 2 } { 0, 1 } { 0, 1, 2 } { 0, 1 } { 0, 1, Y } { 0, 1 } E D C B A Q′ a X 1 2 Y ε 3 b b a 0 ε b { 0, 1, 3 } { 0, 1, 2 } { 0, 1, 2 } 3.4.4 NFA确定化为DFA的方法 A B C D E a a a a a b b b b b b { X, 0, 1 } { 0, 1, Y } { 0, 1, 3 } { 0, 1 } { 0, 1, 2 } a { 0, 1, 2 } { 0 ,1, 2 } { 0, 1 } { 0, 1, 2 } { 0, 1 } { 0, 1, Y } { 0, 1 } E D C B A Q′ { 0, 1, 3 } { 0, 1, 2 } { 0, 1, 2 } 3.4.4 NFA确定化为DFA的方法 例2 将下面的NFA N确定化。 首先确定其初态 ,命名为0状态 Q′ d l {X} {1,2,Y} Φ {1,2,Y} {2,Y} {2,Y} {2,Y} {2,Y} {2,Y} 0 2 1 0 =ε–CLOSURE({X})={X} X 2 Y ε ε 1