compiler4_词法题库.pptVIP

* * （1）有限自动机?正规文法 1.对转换函数δ(A,t)=B，可写成一个产生式:A→tB 算法: 2.对可接受状态Z,增加一个产生式:Z→ε 3.有限自动机的初态对应于文法的开始符号, 有限自动机的字母表为文法的终结符号集。 A B t 例:给出如图NFA等价的正规文法G A B C D start a a a b b b b G=（{A，B，C，D}，{a，b}，P，A） 其中P: A aB A bD B bC C aA C bD C ε D aB D bD D ε → → → → → → → → → 1.对转换函数δ(A,t)=B， 可写成一个产生式:A→tB 2.对可接受状态Z, 增加一个产生式:Z→ε 3.有限自动机的初态对应于文法的开始符号, 有限自动机的字母表为文法的终结符号集。 （2）正规文法G ? 有限自动机M 算法: 1.字母表与G的终结符号相同. 2.为G中的每个非终结符生成M的一个状态,G的开始符号S是开始状态S; 3.增加一个新