资源描述
1,CollegeofComputerScience（即将栈顶的A换为）(2)对每一aT,(q,a,a)=(q,).（即若栈顶为终结符，则退栈）,从上下文无关文法构造等价的下推自动机,4,CollegeofComputerScienceTT*FF;F(E)a解：构造M（q，T，q，E，）定义为：(q,E)(q,E+T),(q,T)(q,T)(q,T*F),(q,F)(q,F)(q,(E),(q,a)(q,b,b)(q,)对所有ba,+,*,(,),例3:从文法构造等价的下推自动机,10,CollegeofComputerScienceSq0,z0,q1（2）对式，可构造由（q0,b,A）=(q1,)得q0,A,q1b由（q1,b,A）=(q1,)得q1,A,q1b由（q1,A）=(q1,)得q1,A,q1由（q1,z0）=(q1,)得q1,z0,q1,16,CollegeofComputerScienceTT*FF;F(E)a,练习：针对算术表达式的PDA反向构造其等价文法,21,CollegeofComputerScienceSq0,Z0,q1;Sq0,Z0,q2;,(5)由(q0,XZ0)(q0,0,Z0)得q0Z0qj0q0XqiqiZ0qj,i,j=0,1,2;,(6)由(q0,XX)(q0,0,X)得q0Xqj0q0XqiqiXqj,i,j=0,1,2;,(2)由(q1,)(q0,1,X)得q0Xq11;,(3)由(q1,)(q1,1,X)得q1Xq11;,(4)由(q2,)(q1,Z0)得q1Z0q2;,22,CollegeofComputerScienceq0Z0q20q0Xq1q1Z0q2q0Xq10q0Xq1q1Xq1q0Xq11;q1Xq11;q1Z0q2;,为简洁，记q0Z0q2为A，q0Xq1为B，q1Xq1为C，q1Z0q2为D，上述文法的产生式改写如下：SA;A0BD;B0BC;B1;C1;D;,23,CollegeofComputerScience&Technology,BUPT,作业:Ch4习题20，21，22,
展开阅读全文