中间语言与语法制导翻译重点与难点重点：语法制导翻译的基本思想，属性文法，翻译模式，说明语句的翻译方案。

三地址码，各种语句的目标代码结构、属性文法与翻译模式。

难点：属性的意义，对综合属性，继承属性，固有属性的理解，属性计算，怎么通过属性来表达翻译。

布尔表达式的翻译，对各种语句的目标代码结构、属性文法与翻译模式的理解。

基本要求掌握语法制导翻译的基本思想，属性文法，综合属性，继承属性，固有属性，属性计算，s_属性文法,L_属性文法，说明语句的翻译方案，翻译模式、属性文法的实现掌握中间语言与语义分析的基本概念；熟练掌握语法(结构)树、三地址代码、赋值与控制语句的翻译、说明语句的翻译；掌握组合数据说明的翻译、过程调用翻译。

例题解析例1 给定文法E --> T { R.i := T.p }R { E.p := R.s }R --> addopT { R1.i := mknode( addop.val, R.i, T.p ) }R { R.s := R1.s }R --> : { R.s := R1.s }T --> ( E ) { T.p := E.p }T --> id { T.p := mkleaf( id, id.entry) }T --> num { T.p := mkleaf( n um, n um.val ) }(1) 指岀文法中的各非终结符具有哪些综合属性和哪些继承属性⑵ 画岀按本翻译模式处理表达式 a + 20 + ( b - 10 ) 时所生成的语法树【解】(1)E的综合属性p，R的继承属性i，综合属性s ; T的综合属性p⑵处理表达式a + 20 + ( b - 10 ) 时所生成的语法树如下例2定义一个计算器的属性文法，完成一个输入表达式值的计算和显示【解】计算器的文法L T EE T E1 + T | TT T T1 * F | FF T ( E ) | digit引进属性 val , 计算器的属性文法：L T Eprint( E.val )( L 的虚属性)E T E1 + T E.val := El.val + T.val E T TE.val := T.val T T T1 * FT.val := Tl.val * F.val T T FT.val := F.val F T ( E )F.val := E.val F T digitF.val := digit .l exvallexval 是单词digit的属性 例3给岀对输入串 6-3 3*5+4 的分析树与属性计算 【解】3*5+4的分析树与属性计算digit .l exval=3例4定义一个说明语句的属性文法 【解】说明语句的文法D T T L T T int T T real L T L1,idL T id要解决的问题：记录标识符的类型和类型信息传递方法：引进属性type,和in,用T.type 记录类型信息，并传给L.in,说明语句的属性文法如下：D T T L L.in := T.type T T int T.type := ' integer ' T T realT.type :=' real 'L T L1,id L1.in := L.inaddtype( id.e ntry, L.i n )L T idaddtype( id.entry, L.in )en try单词id 的属性Prin t(19) E.val=19E.val=15 T.val=4 T.val=15F.val=4T.val=3 F.val=5 digit .l exval=4F.val=3digit.l exval=5addtype 在符号表中为变量填加类型信息例6设下列文法生成变量的类型说明D T id LL T , id L | : TT T in teger | real试构造一个翻译模式，把每个标识符的类型存入符号表。

【解】解题思路这是一个对说明语句进行语义分析的题目，不需要产生代码，但要求把每个标识符的类型填入符号表中。

解答对D, L, T设置综合属性type。

过程addtype(id,type) 用来把标识符id及其类型type填入到符号表中。

翻译模式如下：D T id L {addtype(id.e ntry,L.type) }L T ,id L1 {addtype(id.entry,L1.type);L.type:=L1.type;}L T : T {L.type:=T.type}T T integer {T.type:=interger}T T real {T.type:=real} 例7文法G的产生式如下：S T (L) | a L T L , S | S(1) 试写出一个语法制导定义，它输出配对括号个数;(2) 写一个翻译方案，打印每个a的嵌套深度。

如((a),a), 打印2,1。

【解】解题思路本题包括两部分，第1部分要求写语法制导定义，第2部分要求写翻译方案。

语法制导定义(或属性文法)可以看作是关于语言翻译的高级规范说明，其中隐去实现细节，使用户从明确说明翻译顺序的工作中解脱岀来。

翻译方案(也称翻译模式)给岀了使用语义规则进行计算的次序，把某些实现细节表示岀来。

读者从下面解答中可体会两者的区别。

解答为S L引入属性h,代表配对括号个数。

语法制导定义如下：产生式语义规则S T (L) S.h:=L.h+1S T a S.h:=0L.h:=L1.h+S.hL.h:=S.hS't S print(S.h)⑵为S、L引入d，代表a的嵌套深度。

翻译方案如下：S'T{ S.d:=O; } SS t‘ (' {L.d:=S.d+1;}L‘)'S t a{print(S . d) ; }L t {L1.d:=L.d;}L1{S.d:=L.d;}SL t {S.d:=L.d}S例8 下列文法对整型常数和实型常数施用加法运算符“ +”生成表达式; 当两个整型数相加时，结果仍为整型数，否则，结果为实型数：E t E+T | TT t num.num | num(1) 试给出确定每个子表达式结果类型的属性文法。

(2) 扩充(1) 的属性文法，使之把表达式翻译成后缀形式，同时也能确定结果的类型。

应该注意使用一元运算符inttoreal 把整型数转换成实型数，以便使后缀形如加法运算符的两个操作数具有相同的类型。

【解】解题思路确定每个子表达式结果类型的属性文法是比较容易定义的。

关键是如何扩充此属性文法，使之把表达式翻译成后缀形式。

我们将不在name或num.num向T归约的时候输岀该运算对象，而是把运算对象的输岀放在T或E+ T向E归约的时候。

这是因为考虑输岀类型转换算符inttoreal 的动作可能在E+ T归约的时候进行，如果这时两个运算对象都在前面name或num.num向T归约的时候已输岀，需要为第1个运算对象输岀类型转换算符时就已经为时太晚。

还要注意的是，在E+ T向E归约时，该加法运算的第1个运算对象已经输岀。

所以E T E+ T的语义规则不需要有输岀E 运算对象的动作。

解答( 1 )为文法符号E和T配以综合属性type,用来表示它们的类型。

类型值分别用int和real来表示。

确定每个子表达式结果类型的属性文法如下：产生式E t E1＋TE t TT t num.num T t num 语义规则{T.type:=if E1.type=int and T.type=int then int else real {E.type:=T.type}T.type:=realT.type:=int(2) 下面属性文法将表达式的后缀表示打印输岀，其中lexeme 属性表示单词的拼写。

产生式E t E1＋T语义规则if E1.type=real and T.type=int then beginE.type:=real;print(T.lexeme);print( ‘ inttoreal ' );endL T L1 , SL T Selse if E1.type=int and T.type=real thenbeginE.type:=real;print( ‘ inttoreal ' );print(T.lexeme);endelse beginE.type:=E1.type; print(T.lexeme);endprint( ‘ +' );E T T E.type:=T.type;print(T.lexeme);T T num.num T t num T.type:=real;T.lexeme:=num1.lexeme|| “. ”||num2.lexeme T.type:=int;T.lexeme:=num.lexeme;例9 将下列语句翻译为逆波兰表示(后缀式) 、三元式和四元表示：a:=(b+c)*e+(b+c)/f【解】解题思路把中缀式转换为后缀式的简单方法：按中缀式中各运算符的优先规则，从最先执行的部分开始写，一层层套。

如a< b+c A a > d V a+b^ e,先把b+c写为bc+ ；然后把a w套上去，成为abc+ w；再把a >d表示为ad >;然后把人套上去，成为abc+ w ad>A，依此类推。

四元式由4 个部分组成：算符op 、第1 和第2 运算量arg1 和arg2 ，以及运算结果result 。

运算量和运算结果有时指用户自定义的变量，有时指编译程序引进的临时变量。

如果op 是一个算术或逻辑算符，则result 总是一个新引进的临时变量，用于存放运算结果。

三元式只需3 个域：op、arg1 和arg2 。

与四元式相比，三元式避免了临时变量的填入，而是通过计算这个临时变量的语句的位置来引用这个临时变量。

我们很容易把一个算术表达式或一个赋值句表示为四元式序列或三元式序列。

解答逆波兰表示为：bc+e*bc+f/+:=三元式序列为：(1) (+ ，b，c)(2) (* ，(1) ，e)(3) (+ ，b，c)(4) (/ ，(3) ，f)(5) (+ ，(2) ，(4))(6) (:= ，a，(5))四元式序列为：(1)(+，b，c，T1)(2)(*，T1，e，T2)(3)(+，b，c，T3)(4)(/，T3，f ，T4) (5)(+，T2，T4，T5)(6)(:=，T5，- ，a)例10 利用回填技术把语句while a>0 or b>0 doif c>0 and d<0 then x:=y+1; 翻译为三地址代码。