cha4 词法分析.ppt

* * 从正规式构造NFA M的例子 与正规式 r1=1*, r2=01*, r3=01*|1 等价的有限自动机分别如下图所示： q5 q6 == ε q7 q8 ε ε ε 1 ε q5 q6 == ε q3 q8 ε ε 1 q7 q4 ε 0 * * 从正规式构造NFA M的例子（续） q9 q1 q2 ε ε 1 ε q5 q6 == ε q3 q8 ε ε 1 q7 q4 ε 0 q10 ε ε 节目录 * * 从正规式 r 构造DFA M 举例 已知正规式 r=(a|b)*(aa|bb)(a|b)* 试给出能识别L(r)的确定有限自动机DFA 解：(1)由r构造NFA a X ? 5 ? b 3 a 4 2 b 1 a b ? 6 ? Y b a * * 从正规式 r 构造DFA M 举例 确定化后的DFA（非最简） a 1 0 b 2 a b b 3 5 a b a a b 4 6 b a b a (2)NFA确定化子集法 a b 0- 1 2 3+ 1 2 3 2 1 4 3 5 4+ 6 4 5+ 6 4 6+ 3 5 * * 从正规式 r 构造DFA M 举例 (3)DFA最小化 划分法 a 1 3 0 b 2 a a b b a,b r=(a|b)*(aa|bb)(a|b)* 能识别L(r)的确定有限自动机DFA M 节目录 * * 4.5 正规文法与有限自动机的 等价性 p65 对于正规文法G和有限自动机M，如果 L(G)=L(M)，则称G和M是等价的 （1）对于每一个正规文法G，都存在一 个有限自动机FA M，使得L(M)=L(G) （2）对于每一个有限自动机FA M，都 存在一个正规文法G，使得L(G)=L(M) 下一环节 * * 从正规文法构造NFA M 设G=(VT,VN,S,P)为右线性正规文法，则存在一个有 限自动机M=(S,∑,δ,S0,F)，使得L(M)=L(G) M的构造方法： S=VN∪{f} ∑=VT S0={S} F={f} 将G中的每个非终结符视为M的一个状态 （不妨取成相同的名字） G的开始符号S是初始状态 增加一个新的状态符号 f，作为NFA M的终态 若G中有形如A→a的产生式，则令δ(A，a)=f 若G中有形如A→aB的产生式，则令δ(A，a)=B A a f A a B A→a A→aB * * 从正规文法构造NFA举例 设有右线性正规文法G=({0,1},{A,B,C,D},A,P) 其中P为：A→0|0B|1D B→0D|1C C→0|0B|1D D→0D|1D 构造M=({A,B,C,D,f},{0,1},δ,{A},{f}) 0 1 0 A 0 f B C D 0 0 1 1 0,1 其中δ为： δ(A,0)=f δ(A,0)=B δ(A,1)=D δ(B,0)=D δ(B,1)=C δ(C,0)=f δ(C,0)=B δ(C,1)=D δ(D,0)=D δ(D,1)=D * * 从正规文法构造NFA M 设G=(VT,VN,S,P)为左线性正规文法，则存在一个有 限自动机M=(S,∑,δ,S0,F)，使得L(M)=L(G) M的构造方法： S= VN∪{q0} ∑= VT S0 ={q0} F={S} 将G中的每个非终结符视为M的一个状态 G的开始符号S是终止状态 增加一个新的状态符号q0，作为NFA M的初态 若G中有形如A→a的产生式，则令δ(q0 ，a)=A 若G中有形如A→Ba的产生式，则令δ(B,a)= A B a A A→a A→Ba A a q0 S→Ba S B a * * 从正规文法构造NFA M方法总结 左线性文法→NFA 右线性文法→NFA GR M a∈VT a∈∑ A∈VN A是一个状态 S 初态 新增终态f A→aB δ(A，a)=B A→a δ(A，a)=f GL M a∈VT a∈∑ A∈VN A是一个状态 S 终态 新增初态q0 A→Ba δ(B，a)=A A→a δ(q0，a)=A * * 从正规文法构造NFA M（课堂练习） GR[S]： S → aS | aA | bB A → aB | a B → bA | b B