第三章词法分析及词法分析程序.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * S=aS+bA+c; A=bS S=aS+bbS+c=(a+bb)S+c S=(a|bb)*c S=aA, A=aA+bB+c, B=cS A=aA+bcS+c A=a*(bcS+c) S=aa*(bcS+c)=aa*bcS+aa*c=(aa*bc)*aa*c * * a b c ? S0 S0 S1,S2 S1 S1,S3 S2 S2 S3 S3 0）画出状态表 a b c ? S0 S1,S2,S3 S0, S1,S2,S3 S1,S2,S3 S1 S1,S3 S2,S3 S2,S3 S3 S3 1）求?-closure，且将所有状态表上（除的?列以外）状态q用相应的?-closure(q)替代，如S0和S2 a b c ? S0 S1,S2,S3 S0, S1,S2,S3 S1,S2,S3 S1 S1,S3 S2,S3 S2,S3 S3 S3 2) 删除?列 可达性 a b c ? -起始- S0 S1,S2,S3 S0, S1,S2,S3 S1,S3 S2,S3 S1, S2,S3 S1 S1,S3 - S2,S3 S2,S3 S3 S3 - S1,S3 S1,S3 3) 从起始状态S0的?-closure(S0)开始走 4) 标记“起始状态”，“终止状态”，“可达性” 可达性 a b c ? -起始- [S0 S1,S2, S3] S0, S1,S2,S3 S1,S3 S2,S3 S1, S2,S3 S1 S1,S3 - [S2,S3] S2,S3 S3 S3 - [S1,S3] S1,S3 令q0={S0,S1,S2,S3}, q1={S1,S3}, q2={S2,S3} 得下表 a b c -[q0] q0 q1 q2 [q2] q2 [q1] q1 5) 用样本串测试所得的DFA，如原NFA识别abb, ac，所得新DFA也识别，即P68,图3-12 DFA状态数最小化 可区分状态 A B a1 a2 an a1 a2 状态A,B被某一输入串w=a1a2..an所区分，指 1）从其中一个状态出发读入w，到达终态， 2）而从另一个状态出发进入非终态 可区分状态的递归定义 在一个DFA中，状态A与状态B可区分： 1）A是终止状态，B是非终止状态 或 B是终止状态，A是非终止状态 2）对于字母a，有f(A,a)=C, f(B,a)=D 2.1) C与D可区分 2.2) C=NULL 且 D ? NULL且D可达终态 或 C ? NULL且C可达终态 且 D=NULL DFA状态数最小化-例子 S0 S1 S3 S2 b a b b a a a b S4 a b 复习 一个DFA M=(K, ?, f, S0, Z)，函数f : K × ? - K表示某状态Ki接受某字母a??后，到达状态Kj的转换。 一个NFA M=(K, ?, f, S0, Z)，函数f : K × ? - ?(K)表示某状态Ki接受某字母a??后，到达状态集合{K1, …, Kj}的转换。 一个带?动作的NFA M=(K, ?, f, S0, Z)，函数 f : K × ??{?} - ?(K)表示某状态Ki接受某字母a??或空串?后，到达状态集合{K1, …, Kj}的转换。 试描述下述文法所产生的语言的特点 G[S]=(VN={S, alpha, digit}, VT={A…Z, a…z, 0…9}, P, S), 其中P={ S ? Salpha， S ? Sdigit， S ? alpha， alpha ? A，…，alpha ? z， digit ? 0，…，digit ? 9 } 上述正规文法产生的语言的特点是 由字母开头，后接0个或多个字母和(或)数字的符号串 即标识符的定义 如果使用型如 字母(字母|数字)* 的式子来表示上述符号串构成的集合，那么这样的式子就称为正规表达式(正则式，Regular Expression)，相应的符号串集合则称为该表达式对应的正规集。 正规表达式及正规集的定义 正规式 正规集 1. ? 空集? 2. ? {?} 3. a，a?? {a} 4. (r)?(s) Lr ? Ls (r)|(s)