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

1.一般情况下，为什么语义分析部分仅产生中间代码解答：一般情况下，语义分析部分仅产生中间代码，其原因是：可使难点分解，分别解决。

可对语义分析产生的中间代码进行优化，以产生高效率的目标代码。

语义分析通常与机器无关，目标代码往往与机器有关。

把语义分析与目标代码生成分开，可让一个语义分析程序适用于多个目标代码生成程序。

2.（湖北省高等教育自学考试）什么是语法制导翻译为什么把这种方法叫语法制导翻译解答：所谓语法制导翻译，是指在语法规则的制导下，通过计算语义规则，完成对输入符号串的翻译。

由于使用属性文法时把语法规则和语义规则分开，但在使用语法规则进行推导或规约的同时又使用这些语义规则来知道翻译与最终产生目标代码，所以称为语法制导翻译。

3.给出将附值语句翻译成四元式的语法制导定义，允许右部表达式含有加法、乘法、取负、括号运算。

生成赋值语句X:=B*(C+D)+A 的四元式。

解答：赋值语句的自下而上的语法制导翻译过程描述为：规则语义动作（1）A::=i:=E {GEN (:=,,＿＿,ENTRY(i) ) }（2）E::=E1+E2 {:=NEWTEMP;GEN(+,, ,}（3）E::= E1*E2 { :=NEWTEMP;GEN(*,, ,}（4）E::=-E1 { :=NEWTEMP;GEN(@,,＿＿,}(5)E::=(E1) {:= }(6)E::=i {:= ENTRY(i) }生成的赋值语句X:=B*(C+D)+A的四元式为：(+，C,D,T1)(*,B,T1,T2)(+,T2,A,T3)(:=,T3,＿,X)4.给出将布尔表达式翻译成四元式的语法制导定义。

解答：布尔表达式的语义子程序为：规则语义动作(1) E::=I {:=null;:=NXQ;GEN (Jez , ENTRY(i), ＿＿,0) }(2) E::= i1 rop i2 { :=null;:=NXQ;GEN (Jnrop,ENTRY(i1), ENTRY(i2),0)}(3) E::= (E1) {:=, :=; }(4) E::= ¬ E1 { :=NXQ;GEN ( J, ＿＿, ＿＿, 0); BP , NXQ);}(5) E A::=E1∧ { if =nullthen begin::=NXQ;GEN ( J, ＿＿, ＿＿, 0)End;BP ( , NXQ );:=null; := }(6) E ::= E A E2 {if ≠nullthen beginBP , NXQ);:=nullEnd:=; }(7) E0::=E1∨ { if :=nullthen begin:=NXQ;GEN ( J, ＿＿, ＿＿, 0)End;:=;BP ,NXG);}(8) E::=E0E2 { if ≠nullthen:=MERG,Else beginBP ,NXQ);:=End;:=}其中：NXQ指示器指向下一个将要形成但尚未形成的四元式的地址（编号），初值为1，每当执行GEN一次，NXQ自动加1。

GEN是一个语义过程，该过程把四元式加入四元式表区中。

和分别表示E所对应的四元式需回填“真”、“假”出口的四元式地址所构成的链。

MERG（P1,P2）为一函数，把以P1和P2为链首的两个链合二为一作为函数值，回送合并后的链首。

BP（P，t）为一语义过程，BP是BACKPATCH的缩写。

这是一“回填”过程，它把以P为链首所链接的每个四元式的第四区段都填为t。

Jrop是根据关系运算符rop定义的条件转移。

5.试写出PASCAL循环语句for I:=1 to N do S 的语义程序，假定该语句的文法为F1::= for i:= 1 to NS::= F1 do S1解答：根据题设文法，for语句的语义子程序为：F1::= for i:= 1 to N {:=entry (i); GEN(:=, ‘1’ ,＿＿,;Final:=newtemp; GEN( :=,, ＿＿,final);:=NXQ; :=NXQ ;GEN( J>, ,final,0)}S::= F1 do S1{BACKPATCH ,NXQ); GEN (+,, ‘1’,;GEN (J, ＿, ＿,; BACKPATCH ,NXQ)}6.写出条件赋值语句i :=if B then E1 else E2的语义子程序。

其中B是布尔表达式，E1和E2是算术表达式，i代表与E1、E2类型相同的左部变量。

按写出的语义子程序生成条件赋值语句Z:=if A>C then x+y else x-y+的四元式序列。

解答：按条件赋值语句的语义给出该语句的文法如下：A1::=i:=A2::=A1 if B thenA3::=A2 E1 elseS::=A3 E2相应的语义子程序为:(1) A1::=i:= {:=entry (i) }(2) A2::=A1 if B then {BP , NXQ); :=; :=}(3) A3::=A2 E1 else {GEN (:=,, ＿,; :=NXQ;GEN ( J, ＿, ＿,0 );BP,NXQ);:=} (4) S::=A3E2 {GEN (:=,, ＿,;BP,NXQ) }按上述语义子程序,条件赋值语句Z:=if A>C then x+y else x-y+的四元式序列为:(1) ( J>,A,C, (3))(2) ( J ,(4) (:=,T1, ＿,Z)(7) (+,T2,,T3)(8) (:=,T3, ＿,Z)(9)7.写出编译PASCAL语言repeat语句repeatS1; S2; …; Snuntil E;的语义子程序.其中E是条件表达式.解答:PASCAL的repeat语句的文法为:R1→repeatL→S|L s SL s→L;R2→R1L untilS→R2E于是repeat语句各产生式的语义子程序为: R1→repeat {:=NXQ}L→S {:=}L s→L; {BACKPATCH ,NXQ)}L→L s S1 {:=}R2→R1L until {:=; BACKPATCH ,NXQ) }S→R2E {BACKPATCH , ; :=}8.为便于填写被说明的名字的性质,试修改下面关于变量类型说明的文法,并给出相应的语义动作。

待修改的类型说明文法为：D→namelist integer|namelistnamelist→i,namelist|i解答：(1)为便于填写名字的属性，将上述文法修改为：D→namelist，D1D→i integerD→i realnamelist→namelist1,inamelist→i于是，相应的语义动作为：D→i integer {FILL (ENTRY (i) , int ); :=int }D→i real {FILL (ENTRY (i) ,real ); :=real }D→namelist，D1 {for 队列的每一项 P do FILL (P,;:= }namelist→i {建立一个队列, 它只包含一项ENTRY （i） }namelist→namelist1,i {把ENTRY(i)排在的末端；:= }注意：其中FILL（P，A）是一语义过程，其功能是把属性A添进P 所指向的符号表入口的有关区段。

语义变量用以记录说明语句所规定的属性。

（2）若类型说明的文法为：D→namelist integerD→namelist realnamelist→namelist1,inamelist→i相应的语义动作为：D→namelist integer {for 队列的每一项P do FILL(P,int);}D→namelist real {for 队列的每一项P do FILL(P,real);}namelist→i {建立一个队列它只包含一项ENTRY(i) }namelist→namelist1,i {把ENTRY(i)排在的末端；:= }9.(中国科学院计算所1996年)某些语言允许给出名字表的一个属性表，也允许声明嵌在另一个声明里面，下面文法抽象这个问题：D →attrlist namelist|attrlist(D)Namelist→id,namelist|idAttrlist→A attrlist|AA →decimal|fixed|float|realD → attrlist (D) 的含义是：在括号中的声明提到的所有名字有attrlist中给出的属性，而不管声明嵌套多少层。

写一个翻译方案，它将每个名字的属性添入符号表。

解答：相应的翻译方案为：D’ →{=0; }DD →attrlist{=+; }namelistD →attrlist{=+; }(D1)Namelist →id{addattr ,; }Namelist →id,{=; }namelist1{addattr ,; }attrlist →A attrlist1 {= +1; }attrlist →A {=1; }10.写出翻译过程调用语句的语义子程序。

要求生成的四元式序列在转子指令之前的参数四元式par按反序出现（即和实在参数的顺序相反），在此情况下翻译过程调用语句时是否需要语义变量（队列）QUEUE呢解答：为使过程调用语句的语义子程序产生的参数四元式par按反序出现，过程调用语句的文法为：S →call i (arglist)Arglist →EArglist →arglist1,E按照该文法，语法制导翻译程序将不需要语义变量队列QUEUE，但需要一个语义变量栈STACK，用以实现按反序记录每个实在参数的地址。

翻译过程调用语句的语义子程序为：arglist →E {建立一个栈，它只包含一个项 }arglist →arglist1,E {把压入栈;:= }S →call i (arglist) {WHILE ≠null doBegin把栈顶上托出去，并放入P元中；GEN（par, ＿, ＿,P）End;GEN(call, ＿, ＿,ENTRY(i)) }11.(中国科学院计算所1994)设有文法G[S]：S::=(L)|aL::=L,S|S给此文法配上语义动作子程序（或者说为此文法写一个语法制导定义），它输出配对括号的个数，如对于句子（a,(a,)）,输出是2。

解答：加入新的开始符号’S’和规则S’::=S,得到增广文法。

语法制导定义如下：S’::=S {print ; }S::=(L) {:=+1; }S::=a {:=0; }L::=L1,S {:=+; }L::=S {:=; }12.(中国科学院软件所1999)文法G[S]的产生式如下：S::= (L)|aL::= L,S|S试写出一个语法制导定义，它输出配对括号个数。