xt07答案.docVIP

练习7.1 ???? 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中翻译模式的左递归： ??? （注：{,}为元语言符号。） ??????? TYPE??????????? link = 表类型; ??????? PROCEDURE E ;??????????? VAR??????????????? E.truelist, E.falselist, T.truelist, T.falselist: link;??????????? BEGIN??????????????? { E.truelist, E,falselist } := T;牋牋牋牋牋牋牋?WHILE ( lookahead == or 练习7.3 ) DO牋牋牋牋牋牋牋牋牋?BEGIN牋牋牋牋牋牋牋牋牋牋牋?match(or);牋牋牋牋牋牋牋牋牋牋牋?M.quad := nextquad;牋牋牋牋牋牋牋牋牋牋牋?{ T.truelist, T.falselist } := T;牋牋牋牋牋牋牋牋牋牋牋?backpatch(E.falselist, M.quad);牋牋牋牋牋牋牋牋牋牋牋?E.truelist := merge(E.truelist, T.truelist);牋牋牋牋牋牋牋牋牋牋牋?E.falselsit := T.falselist牋牋牋牋牋牋牋牋牋?END;牋牋牋牋牋牋牋?return({E.truelist, E.falselist})牋牋牋牋牋?END; 牋牋牋?PROCEDURE T;牋牋牋牋牋?VAR牋牋牋牋牋牋牋?T.truelist, T.falselist, F.truelsit, F.falselist: link;牋牋牋牋牋?BEGIN牋牋牋牋牋牋牋?{ T.truelist, T,falselist } := F;牋牋牋牋牋牋牋?WHILE ( lookahead == and ) DO牋牋牋牋牋牋牋牋牋?BEGIN牋牋牋牋牋牋牋牋牋牋牋?match(and);牋牋牋牋牋牋牋牋