编译原理分知识点习新题 语法制导和翻译.docVIP

一般情况下，为什么语义分析部分仅产生中间代码？ 解答：一般情况下，语义分析部分仅产生中间代码，其原因是： 可使难点分解，分别解决。 可对语义分析产生的中间代码进行优化，以产生高效率的目标代码。 语义分析通常与机器无关，目标代码往往与机器有关。把语义分析与目标代码生成分开，可让一个语义分析程序适用于多个目标代码生成程序。 2.（湖北省高等教育自学考试）什么是语法制导翻译？为什么把这种方法叫语法制导翻译？ 解答：所谓语法制导翻译，是指在语法规则的制导下，通过计算语义规则，完成对输入符号串的翻译。 由于使用属性文法时把语法规则和语义规则分开，但在使用语法规则进行推导或规约的同时又使用这些语义规则来知道翻译与最终产生目标代码，所以称为语法制导翻译。 给出将附值语句翻译成四元式的语法制导定义，允许右部表达式含有加法、乘法、取负、括号运算。生成赋值语句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)} （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) 给出将布尔表达式翻译成四元式的语法制导定义。 解答：布尔表达式的语义子程序为： 规则 语义动作 (1) E::=I {E.TC:=null;E.FC:=NXQ; GEN (Jez , ENTRY(i), ＿＿,0) } (2) E::= i1 rop 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∧ { if E1.FC=null then begin E1.TC::=NXQ; GEN ( J, ＿＿, ＿＿, 0) End; BP ( E1.TC , NXQ ); EA.TC:=null; EA.FC:=E1.FC } (6) E ::= EAE2 {if E2.FC≠null then begin BP (EA.FC, NXQ); E.FC:=null End E.TC:=E2.TC; } (7) E0::=E1∨ { if E1.TC:=null then begin E1.TC:=NXQ; GEN ( J, ＿＿, ＿＿, 0) End; E0.TC:=E1.TC; BP (E1.TC,NX