编译原理+李建中习题+答案+第6章.docVIP

练习7.1 练 习 7.1题 7.2题 7.3题 7.4题 7.5题 7.6题 7.7题 7.8题 7.9题  7.1 翻译算术表达式a*－（b＋c）为 (a)一棵语法树， (b)后缀式， (c)三地址代码。 7.2翻译算术表达式一（a＋b）*（c＋d）＋（a＋b＋c）为(a)四元式， (b)三元式 (c)间接三元式  7.3 试把下列C语言程序的可执行语句 main() {int i;int a[10];while (i=10)a[i]=0;} 翻译为(a)一棵语法树，(b)后缀式，(c)三地址代码。 7.4 修改图7．4中计算说明语句中的名字的类型及相对地址的翻译模式，以允许在形如D→id:T的说明中可用一串名字表来代替单个名字。 7.5 试编写一个程序，用来实现表7.5中给出的将布尔表达式翻译成三地址代码的语法制导定义。 7.6 试编写一个程序，用来实现表76中给出的控制流语句的语法制导定义。 7.7 试编写一个程序、用来实现7．5节中的回填算法。 7.8 用7．3节的翻译模式将下列赋值语句译成三地址代码。 A[i,j]：= B[i,j] ＋C[A[k,l]] ＋D[i＋j] 7.9 Pascal语言中，语句 for v：＝initial to final do stmt 与下列代码序列有相同含义 begint1:=initial;t2:=final;if t1=t2 then beginv:=t1;stmtwhile vt2 do beginv：=succ（v)；stmtendendend (a)试考虑下述Pascal程序 program forloop(input, output);var i,initial,final: integer; beginread(initial, final);for i:= initial to final dowrite(i) end 对于initial=MAXINT-5和final= MAXINT，问此程序将做些什么？其中MAXINT为目标机器允许的最大整数。 *（b）试构造一个翻译pascal的for语句为三地址代码的语法制导定义。  ???? a) ???? b) 后缀式： a b c + uminus * ???? t1:= b + c t2 := - t1 t3 := a* t2 练习7.2 ?? a)：四元式序列为：? ? op arg1 arg2 result (1) + a b t1 (2) + c d? t2 (3) * t1 t2 t3 (4) uminus t3 　 t4 (5) + a b t5 (6) + t5 c t6 (7) + t4 t6 t7 ? b)：三元式序列为： ? ? op arg1 arg2 (1) + a b (2) + c d (3) * (1) (2) (4) uminus (3) 　 (5) + a b (6) + (5) c (7) + (4) (6) ? c)：间接三元式表示： ? ? statement ? ? op arg1 arg2 (1) (11) (11) + a b (2) (12) (12) + c d (3) (13) (13) * (11) (12) (4) (14) (14) uminus 13 　 (5) (11) (15) + (11) c (6) (15) (16) + (14) (15) (7) (16) ? ? ? ? 练习7.3 解答： ???? a) b) 后缀式为： i 10 =? a i [] 0 = while ?? 从理论上可以说 while ( i = 10 ) a[i] = 0; 的后缀式如上面表示。但若这样表示，在执行while操作时，赋值语句已经执行，这显然与语义不符，因此改为：??????????????????? i 10 = 下一个语句开始地址 BM a i [] 0 = 本语句始址BRL 其中BM操作为当表达式为假时转向下一个语句开始地址,BRL是一个一目运算，无条件转向本语句始址。 c) 三地址代码序列为： ???? 100 ??if i = 10 goto 102101?? goto 106102?? t1 := 4 * i103?? t2 := a104?? t2[t1] := 0105?? goto 100106 练习7.4 练习7.5 ??? 首先消除图7.14中翻译模式的左递归： ??? （注：{,}为元语