资源描述:
《编译原理分知识点习题 语法制导和翻译》由会员上传分享,免费在线阅读,更多相关内容在工程资料-天天文库。
1、1.一般情况下,为什么语义分析部分仅产生中间代码?解答:一般情况下,语义分析部分仅产生中间代码,其原因是:可使难点分解,分别解决。可对语义分析产生的中间代码进行优化,以产生高效率的目标代码。语义分析通常与机器无关,目标代码往往与机器有关。把语义分析与目标代码生成分开,可让一个语义分析程序适用于多个目标代码生成程序。2.(湖北省高等教育自学考试)什么是语法制导翻译?为什么把这种方法叫语法制导翻译?解答:所谓语法制导翻译,是指在语法规则的制导下,通过计算语义规则,完成对输入符号串的翻译。由于使用属性文法时把语法规则和语义规则分开,但在使用语法规则进行推导或规约的
2、同时又使用这些语义规则来知道翻译与最终产生目标代码,所以称为语法制导翻译。3.给出将附值语句翻译成四元式的语法制导定义,允许右部表达式含有加法、乘法、取负、括号运算。生成赋值语句X:=B*(C+D)+A的四元式。解答:赋值语句的自下而上的语法制导翻译过程描述为:规则语义动作(1)A::=i:=E{GEN(:=,E.PLACE,__,ENTRY(i))}(2)E::=E1+E2{E.PLACE:=NEWTEMP;GEN(+,E1.PLACE,E2.PLACE,E.PLACE)}(3)E::=E1*E2{E.PLACE:=NEWTEMP;GEN(*,E1.PLA
3、CE,E2.PLACE,E.PLACE)}(4)E::=-E1{E.PLACE:=NEWTEMP;GEN(@,E1.PLACE,__,E.PLACE)}(5)E::=(E1){E.PLACE:=E1.PLACE}(6)E::=i{E.PLACE:=ENTRY(i)}生成的赋值语句X:=B*(C+D)+A的四元式为:(+,C,D,T1)(*,B,T1,T2)(+,T2,A,T3)(:=,T3,_,X)4.给出将布尔表达式翻译成四元式的语法制导定义。解答:布尔表达式的语义子程序为:规则语义动作(1)E::=I{E.TC:=null;E.FC:=NXQ;GEN(J
4、ez,ENTRY(i),__,0)}(2)E::=i1ropi2{E.TC:=null;E.FC:=NXQ;GEN(Jnrop,ENTRY(i1),ENTRY(i2),0)}(3)E::=(E1){E.TC:=E1.TC,E.TC:=E1.TC;}(4)E::=¬E1{E.TC:=NXQ;GEN(J,__,__,0);BP(E1.FC,NXQ);}(5)EA::=E1∧{ifE1.FC=nullthenbeginE1.TC::=NXQ;GEN(J,__,__,0)End;BP(E1.TC,NXQ);EA.TC:=null;EA.FC:=E1.FC}(6)E:
5、:=EAE2{ifE2.FC≠nullthenbeginBP(EA.FC,NXQ);E.FC:=nullEndE.TC:=E2.TC;}(7)E0::=E1∨{ifE1.TC:=nullthenbeginE1.TC:=NXQ;GEN(J,__,__,0)End;E0.TC:=E1.TC;BP(E1.TC,NXG);}(8)E::=E0E2{ifE2.TC≠nullthenE.TC:=MERG(E0.TC,E2.TC)ElsebeginBP(E0.TC,NXQ);E.FC:=E2.FCEnd;E.FC:=E2.FC}其中:lNXQ指示器指向下一个将要形成但尚未
6、形成的四元式的地址(编号),初值为1,每当执行GEN一次,NXQ自动加1。lGEN是一个语义过程,该过程把四元式加入四元式表区中。lE.TC和E.FC分别表示E所对应的四元式需回填“真”、“假”出口的四元式地址所构成的链。lMERG(P1,P2)为一函数,把以P1和P2为链首的两个链合二为一作为函数值,回送合并后的链首。lBP(P,t)为一语义过程,BP是BACKPATCH的缩写。这是一“回填”过程,它把以P为链首所链接的每个四元式的第四区段都填为t。lJrop是根据关系运算符rop定义的条件转移。3.试写出PASCAL循环语句forI:=1toNdoS的语
7、义程序,假定该语句的文法为F1::=fori:=1toNS::=F1doS1解答:根据题设文法,for语句的语义子程序为:F1::=fori:=1toN{F1.place:=entry(i);GEN(:=,‘1’,__,F1.place);Final:=newtemp;GEN(:=,N.place,__,final);F1.chain:=NXQ;F1.quad:=NXQ;GEN(J>,F1.place,final,0)}S::=F1doS1{BACKPATCH(S1.chain,NXQ);GEN(+,F1.place,‘1’,F1.place);GEN(J,
8、_,_,F1.quad);BACKPATCH(S.c