编译原理第3章(3).pptVIP

北京交通大学　于双元 方法: 设有一NFA M’=(K’,∑,f’,S0,Z’) 现构造一∑上的DFA M=( K,∑,f,q0,Z) 使L(M’)=L(M) q0= ε_closure(S0) q0 ∈ K 对K中任一尚未标记的状态qi={Si1,Si2,…,Sim} Sik ∈K’ 做①标记qi; ②对于每一a ∈∑,置 T= f’({Si1,Si2,…,Sim} , a); qj= ε_closure(T); ③ 若qj不在K中,则将qj作为一未加标记的状态 加 入K中, f(qi,a)= qj, 添加到M上 a (3)重复步骤(2),直到K中不再含有未标记的 状态为止. (4)若某一qj ∩Z’ ≠ ?,则qj ∈Z §3.4正规表达式与正规集 §3.4.1正则表达式与正规集 正则式：描述单词符号 正规集：正规式描述的语言 1、正则式的递归定义 设有字汇表V , 则: (VT就是∑) (1)ε，?，a， a∈Vt都是正则表达式, 正规集{ε}, ?, {a} (2)如果e1和e2是正则式,正规集分别为L1和L2 则 e1| e2是正则式,正规集为L1∪L2 e1·e2是正则式,正规集为L1L2 e1*是正则式, 正规集为L1* 注: *, · , | 的优先级依次降低 例:a∈Vt, b∈Vt, Vt={a,b} a是正规式 a*, ba, a|ba* 均是正规式 b是正规式 a|b,(a|b)*, a(a|b)*均是正规式 2、两个正则式相等: 两个正则式表示相同的语言 如(a|b)*=(a*|b*)*, 语言为{x∣x∈{a,b}*} 3、正则式的操作 结合律(ab)c=a(bc),(a|b)|c=a| (b|c) 交换律a|b=b|a 分配律 a(b|c)=ab|ac,(a|b)c=ac|bc 其他:r|r=r, r*=(r|ε)*= ε|r r* §3.4.2 由正则文法构造相应的正则式 求出以{ } 、 | 、 . 表示的文法的语言就是正则式, 用=代替→, 用+代替|求出联立方程组的解 1、文法 x→rx|t 右线性 r,t ∈Vt+ Lx=Lr·Lx∪Lt 为求解方便写成 x=rx+t 解方程求x 又x=rx=r…rx, Lx ={t,rt,rrt,…}即 r*t 可解得x=r*t [论断3.1]:方程组x=r x+t有形如x=r*t的解 2、文法 x=xr|t 左线性 r,t ∈Vt+ Lx= Lx · Lr∪Lt 为求解方便写成 x=xr+t 解方程求x 又x=xr=xr…r, Lx ={t,tr,trr,…}即 tr* 可解得x=tr* [论断3.2]:方程组x=xr+t有形如x=tr*的解 例:G[S]: S→aA 求文法对应的正规式 A→bA|aB|b B→aA 解:改写成 S=aA (1) A=bA+aB+b (2) B=aA (3) (3)代入(2)得 A=bA+aaA+b A=(b+aa)A+b A= (b+aa)*b (论断3.1) S=aA=a(b+aa)*b再用|代替+ 即正规式为a(b|aa)*b * §3.3 有限自动机(FA) §3.3.1 确定的有限自动机（DFA） 一个DFA有以下五个元素组成: DFA M=（K，∑，f，S0，Z） 其中 K： 状态的集合（有限个状态） ∑： 允许输入的字符的集合 Vt f： 状态转换函数， 单值函数K×∑→K S0： 初始状态 S0∈K Z： 终止状态集 Z K f(Si,a)=Sj 讨论： (1) ①确定性 f是单值函数 从某一状态读一字符的下一状态唯一确定 ②有限的 K集合元素个数有限 (2) f 定义的推广 f单值函数K×∑→K K×Σ*→K Σ*=∑+∪{ε} 记为ｆ^ ①ｆ^(S, ε) =S ②ｆ^(S,aω) =ｆ^(f(S,a), ω) a∈∑