xt05答案.doc

练习5.1 练习5.2 ????????????? (b)根据图5.17的翻译模式构造((a)+(b))的分析树和语法树 练习5.3 设置下面的函数和属性： expr1||expr2:把表达式expr2拼写在表达式expr1后面。 deletp(expr):去掉表达式expr左端的‘（’和右端的‘)’。 E.expr,T.expr,F.expr:属性变量，分别表示E，T，F的表达式。 E.add,T.add,F.add,属性变量，若为true，则表示其表达式中外层有‘＋’号，否则无‘＋’号。 E.pmark,T.pmark,F.pmark,属性变量，若为true，表示E,T,F的表达式中左端为‘（’，右端是‘）’。 语法制导定义如下： 产生式 语义规则 E - E1 +T if(T.pmark==true) 牋 THEN E.expr=E1.expr||+||deletep(T.expr)p 牋 ELSE E.expr:=E1.expr||+||T.expr; E.add:=true; E.pmark:=false;掉 E - T if(T.pmark==true) 牋 THEN E.expr:=deletep(T.expr). 牋 ELSE E.expr:=T.expr; E.add:=T.add; E.pmark:=false; . T - T1*F T.expr:=T1.expr||*||F.expr; T.add:=false; T.pmark:=false; T - F T.expr:=F.expr; T.add:=F.add; T.pmark:=F.pmark; F - (E) if(E.add==false) 牋 THEN BEGINa 牋牋牋?F.expr:=E.expr; 牋牋牋?F.add:=false; 牋牋牋?F.pmark:=false; 牋牋牋?END 牋 ELSE BE的‘（’和右端的‘)’。 E.eGIN ??????? F.expr:=(||E.expr||); ??????? F.add:=true; ??????? F.pmark:=true; ??????? END; F - id F.expr:=id.lexval; F.add:=false; F.pmark:=false; 练习5.4 产生式 语义规则 E - E1+T if(E1.type==int) AND (T.type==int) ?? THEN E.type:=int ?? ELSE E.type:=real; ?????? E - T E.type:=T.type; ??????T - num T.type:=int; ????? T - num.num T.type:=real; ????? (b)语法制导定义如下： 产生式 语义规则 E - E1+T if(E1.type==int) AND (T.type==int) ?? THEN E.type:=int ?? ELSE BEGIN ?????? E.type:=real; 牋牋牋 if(E1.type==int) AND (T.type==real) 牋牋牋牋 THEN E1.pf:=inttoreal||E1.pf 牋牋牋牋 ELSE if(E1.type==real)AND(T.type==int) 牋牋牋牋牋牋牋?THEN T.pf:=inttoreal||T.pf 牋牋牋 END; E.pf:=+||E1.pf||T.pf; 达式中左端为‘（’，右端是‘）’。 语法制 ??????? E - T E.type:=T.type; E.pf:=T.pf; ??????? T - num T.type:=int;牋?T.pf:=int.lexval; ea ???????T - num.num T.type:=real;牋 T.pf:=real.lexval; l 练习5.5 解答: (a)用综合属性决定s.val的语法制导定义： 产生式 语义规则 ????????? S - L S.val:=L.val; ????????? S - L1.L2 S.val:=L1.val+L2.val*L2.p; ????????? L - B L.val:=B.val;??? L.p:=2-1; ????????? L - L1B L.val:=L1.val*2+B.val; L.p:=L.p*2-1; ????????? B - 0 B.val:=0; ????????? B - 1 B.val:=1; ???????