题目内容
（请给出正确答案）
[主观题]
下面哪些属性文法是L-属性文法。
A、G(S)： 产 生 式 语 义 规 则 S→XYZ Z.h := S.a X.c := Z.g S.b := X.d -2 Y.e := S.b X→x X.d :=2*X.c Y→y Y.f := Y.e*3 Z→z Z.g :=Z.h+1
B、G(S): 产 生 式 语 义 规 则 S→B B.ps :=10 S.ht :=B.ht B→
sub
.ps :=B.ps.ps :=shrink(B.ps) B.ht :=disp(.ht,.ht) B→text B.ht :=text.h×B.ps
C、G(L)： 产 生 式 语 义 规 则 L→E n print(E.val) E→
+T E.val :=.val+T.val E→T E.val :=T.val T→
*F T.val :=.val* F.val T→F T.val :=F.val F→ (E) F.val :=E.val F→digit F.val :=digit.lexval
D、G(D)： 产 生 式 语 义 规 则 D→TL L.in := T.type T→int T.type := integer T→real T.type := real L→
, id.in :=L.in addtype(id.entry, L.in) L→id addtype(id.entry, L.in)
如搜索结果不匹配，请 联系老师 获取答案
与产生式S→if E then S1 else S2 对应的语义规则如下，其中空白处应该填写： E.true:= newlabel; E.false:= newlabel; S1.next:=S.next; S2.next:= ; S.code:=E.code || gen(E.true ‘:’) || S1.code || gen(‘goto’ S.next) || gen(E.false ‘:’) || S2.code;.jpg)
.jpg)
.jpg)
1.jpg)
2.jpg)
