资源描述：
《编译原理分知识点习题-语法制导和翻译.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
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.PLACE,E2.PLACE,E.PLACE)
3、}（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(Jez,ENTRY(i),＿＿,0)}(2)E::=i1rop
4、i2{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::=EAE2{ifE2.FC≠nullthenbeginBP(EA.FC,NXQ
5、);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指示器指向下一个将要形成但尚未形成的四元式的地址（编号），初值为1，每当执行GEN一次，NXQ自动加1。lGEN是一个语义过程，该
6、过程把四元式加入四元式表区中。lE.TC和E.FC分别表示E所对应的四元式需回填“真”、“假”出口的四元式地址所构成的链。lMERG（P1,P2）为一函数，把以P1和P2为链首的两个链合二为一作为函数值，回送合并后的链首。lBP（P，t）为一语义过程，BP是BACKPATCH的缩写。这是一“回填”过程，它把以P为链首所链接的每个四元式的第四区段都填为t。lJrop是根据关系运算符rop定义的条件转移。3.试写出PASCAL循环语句forI:=1toNdoS的语义程序，假定该语句的文法为F1::=fori:=1toNS::=F1doS1解答：根据题设文法，for语句的语义子程序为
7、：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,＿,＿,F1.quad);BACKPATCH(S.c
