具有受控副作用的语义规贝 按照依赖图的任何拓扑顺序进行属性计算都可以 产生同样的副作用 产生式 语义规则 L→En print(E.val) E→E1+T E.val= e 1.val+ Tval E→T E.val= tval T→T*F Tval=Tr.val Fval T→F Tval= eval F→(E) Eval= e. val F→ digit Eval= digit. lexval具有受控副作用的语义规则 • 按照依赖图的任何拓扑顺序进行属性计算都可以 产生同样的副作用 产 生 式 语 义 规 则 L → E n print (E.val) E → E1 + T E.val = E1 .val + T.val E → T E.val = T.val T → T1  F T.val = T1 .val  F.val T → F T.val = F.val F→ (E) F.val = E.val F → digit F.val = digit.lexval