作业5_黄孝喜班(语法制导翻译)答案.docVIP

作业5 – 语法制导翻译 1. 已知程序的文法G[P]如下： P ? D D ? D; D| id: T | proc id; D; S 请写一个语法制导定义，输出程序中一共声明了多少个id。 产生式 语义规则 P ? D Print(D.c) D ? D1; D2 D.c= D1.c+ D2.c D ? id: T D.c=1 D? proc id; D1; S D.c= D1.c+ 1 请写一个翻译模式，输出程序中每变量id的嵌套深度。 P?{D.d=1} D D ?{ D1.d=D.d} D1; { D2.d=D.d}D2 D ? id: T {print(D.d)} D? proc id; { D1.d=D.d+1} D1; S 2.有表示二进制无符号数的文法G[S]： S → L . L | L L →L B | B B →0 | 1 请构造一个翻译模式，将二进制表示的数转换为十进制数。 S’→S {print(S.val)} S → L1. L2 {S.val = L1.val + L2.val / L2.w} S→ L {S.val=L.val} L →L1 B {L.val = L1.val * 2 + B.val; L.w=L1.w * 2} L→B {L.val = B.val; L.w=2} B →0 {B.val =0} B→1 {B.val =1} 3. 已知有文法G[E]： E → E + T | T T → num.num | num 该文法对整型常数和实型常数进行加法运算，当两个整型数相加时，结果仍为整型数，否则结果为实型数。 试给出确定每个子表达式结果类型的语法制导定义。 产生式 语义规则 E→E1+T IF (E1.type==int) (T.type==int) THEN E.type=int; ELSE E.type=real; E→T E.type = T.type T→num.num T.type = real T→num T.type = int 扩充上面的语法制导定义，使之把表达式翻译成后缀形式，同时也能确定结果的类型。注意使用一元运算符inttoreal把整型数转换为实型数，int+和real+分别表示整型数加法运算和实型数加法运算。 产生式 语义规则 E→E1+T IF (E1.type==int) (T.type==int) THEN E.type=int; E.code = E1.code || T.code || “int+” ELSE IF (E1.type==real) (T.type==int) THEN E.type=real; E.code = E1.code || T.code ||inttoreal || “real+” ELSE IF (E1.type==int) (T.type==real) THEN E.type=real; E.code = E1.code|| inttoreal || T.code || “real+” ELSE E.type=real; E.code = E1.code || T.code || “real+” E→T E.type = T.type E.code = T.code T→num.num T.type = real T.code = num.num T→num T.type = int T.code = num