编的译原理例题习题讲解(ch6-ch7).pdfVIP

第6-7 章 语法制导翻译中间代码 一、重点与难点 重点：语法制导翻译的基本思想，属性文法，翻译模式，说明语句的翻译方案。 三地址码，各种语句的目标代码结构、属性文法与翻译模式。 难点：属性的意义，对综合属性，继承属性，固有属性的理解，属性计算，怎么通过属性来 表达翻译。布尔表达式的翻译，对各种语句的目标代码结构、属性文法与翻译模式的理解。 二、基本要求 掌握语法制导翻译的基本思想，属性文法，综合属性，继承属性，固有属性，属性计算， S_属性文法，L_属性文法，说明语句的翻译方案，翻译模式、属性文法的实现 掌握中间语言与语义分析的基本概念；熟练掌握语法（结构）树、三地址代码、赋值与 控制语句的翻译；理解组合数据说明的翻译、过程调用翻译、说明语句的翻译。 三、例题与习题 1、翻译算术表达式 –(a+b)*(c+d) +(a+b+c) 为三地址代码 解：写出三地址代码为： t1 := a + b t2 := - t1 t3 := c + d t4 := t2 * t3 t5 := a + b t6 := t5 + c t7: = t4 + t6 2、对下面的文法，设计语法制导定义获得类型信息，要求只利用综合属性。 DL,id | L LT id Tint | real 解： 3、请设计语法制导的定义，将后缀表达式翻译成中缀表达式。注意，不允许出 现冗余括号，后缀表达式的文法如下： E→EE+ E→EE* E→id 解： 4、下面文法产生的表达式是对整型和实型常数应用算符+形成的。当两个整数相 加时,结果为整数，否则为实数。 ETR R + TR|ε Tnum.num | num a) 给出语法制导定义确定每个子表达式的类型。 b) 把表达式翻译成前缀形式，并且决定类型。试用一元运算符inttoreal 把整型 值转换为相等的实型值，以使得前缀表达式中两个运算对象是同类型的。 解：a)设type 是综合属性，代表各非终结符的“类型”属性 设in 是继承属性，翻译模式如表所示。 b)设属性s 和i 用于传递属性type ，属性t 和j 用于传递属性val 。 5、令S.val 为下面的文法由S 生成的二进制数的值(如，对于输入101.101，S.val =5.625) ； SL.L | L LLB | B B0 | 1 按照语法制导翻译的方法，对每个产生式给出相应的语义规则。 解： S’S {print(S.val);} SL .L { S.val:=L.val+L .val/2L .length ;} 1 2 1 2 2 S L { S.val:=L.val; } LL B { L.val:=L .val*2+B.val; L.length:=L .length+1; } 1 1 1 LB { L.val:=B.val; L.length:=1;} B0 { B.val:=0; } B1 { B.val:=1;} 6、在一个移入－归约的分析中采用以下的语法制导的翻译模式，在按一产生式 归约时，立即执行括号中的动作。 A→aB {print “0”;} A→c {print “1”;} B→Ab {print “2”} 当分析器的输入为aacbb 时，打印的字符串是什么？ 解：分析器的分析过程如下图所示： 由于分析器采用移入－归约的方式进行分析，符号串aacbb 的分析过程将如 图中所标的归约顺序进行，而在按一产生式归约时，立即执行括号中的动作，所 以分析器打印的字符为12020。 7、文法如下： PD DD;D |id:T|proc id;D;S (1)设计语法制导定义，打印该程序一共声明的id 个数 (2)设计翻译模式，