编译原习题章.ppt

第5章语法制导的翻译 523假设我们有一个产生式A→BADB,C,D这四个非终 结符号都有两个属性:s是一个综合属性,而禔是一个继承属 性。对于下面的每组规则,指出()这些规则是否满足S属性 定义的要求。(i这些规则是否满足L属性定义的要求。(i 是否存在和这些规则一致的求值过程? 1) As=B i+Cs 不满足S属性定义,满足L属性定义 2)As=B i+Cs Fn D i=A. i+Bs 不满足S属性定义,满足L属性定义 3)As=Bs+Ds 满足S属性定义,满足L属性定义 4)AS=Di,B i=A S+Cs, C i=B sFD. i=B i+c i 不满足S属性定义,不满足L属性定义 524这个文法生成了含“小数点”的二进制: S→L.L|L L→LB|B B→0|1 设计一个L属性的SDD来计算Sval,即输入串的十进制数值。 比如,串10111应该被翻译为十进制数5.635。提示:使 用一个继承属性L.side来指明一个二进制位在小数点的哪 为了求小数部分的值,引入L的综合属性b记录2的 L 的位数次幂值(2 length of S-L. L, S.val=L, val+L,val/L, b S→LSva/=Lva/; L,B L.val=Ly. val*2+ Bval L.b=L1.b*2 →BLva/= B. val: L.b=2 B→0Bva/=0 B→1Bva/=1 531下面是涉及运算符+和整数或浮点运算分量的表达式的 文法。区分浮点数的方法是看它有无小数点 E→E+T|T T→ numnun|num 1)给出一个SDD来确定每个项T和表达式E的类型。 2)扩展(1)中得到的SDD,使得它可以把表达式转换成为后缀 表达式。使用一个单目运算符 -intToFloat把一个整数转换为 相等的浮点数。 1)设tpe是综合属性,代表各非终结符的“类型”属性 语法制导定义 生式 语义规则 E→E1+T IF(El.type=integer)and (T type -integer) THEN E type: - integer ELSE E type: real E→T E type: =Ttyp T→ nullIllIT T type: real T→nun T type: -integer (2)设code为综合属性,代表各非终结符 的代码属性 type为综合属性,代表各非终结符的类型属 性 inttoreal把整型值转换为相等的实型值 atocha将数值转换为字符串 产生式语义规则 S→E print E code E→E1+T IF (El. type=integer)and (T type=integer )THEN E type:=integer E code= Er code T.codell+ eLSE begin E type: real IF El type=integer THEN El El. val: inttoreal(El.val) El code=vtochar(El. val) IF T type: integer THEN Ttype: real T val: =inttoreal(T val) T code=vtochar(T val) E.code-Ercode/T code,+ E→T E type: T E. val: Tval E. codevtochar(E. val) I÷ nuim. nul T type: -real Tval:. num . lexval Tcode=vtochar(Tval) I→num Ttype:integer Tval: num lexa Tcode=vtochar(T val) 533给出一个SDD对x*(3*x+x*×这样的表达式求 微分。表达式中涉及运算符+和*,变量x和常 量。假设不进行任何简化,也就是说,比如 3*x将被翻译为3*1+0*x。 exp为原表达式的字符串,s为求导后的字符串。 l为串联接符。 E E print(E s E→El+T Eexp= El. exp‖+‖Iexp E.s=Es‖+‖r.s E→T E exp=Texp Es=Ts T→T1F Texp=T1exp‖*‖F.exp Ts=(‖T.s‖)‖*‖Fexp‖+‖ Iexp*‖上.s