词法分析程序输出单词的形式.ppt

输入：一个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的方法四周第1次 求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的方法 状态转换矩阵M 状态 字符 a U T T={ s1, s2, s3, …, sn} J = f ({s1, s2, s3, …, sn},a ) = f ( s1, a )∪f ( s2 , a )∪… ∪f ( sn, a ) U = ε–CLOSURE( J ) M[T, a ]=U f ( T, a )=U 例1 将下图所示的NFA N确定化。 其等价DFA的开始状态为: A=ε–CLOSURE({X}) ={X, 0, 1} 作为未标记的状态添加到Q中(标记的状态如A记为A) b { X, 0, 1 } a A Q′ a X 1 2 Y ε 3 b b a 0 ε b 3.4.4 NFA确定化为DFA的方法 Q={A} (1) 求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 ); f(A,a)= ε–CLOSURE(f({