语法制导定义的例子 L∴=En Print(E. val) E∴=E1+T E. val= e, val+T val E∷=T E.yal=Tⅴal T: : =T*F Tval=t, val*f. val 工:三F Tval= f val F::=(E) Eval=e val F∷= digit F. val digit. lexval 对于语法符号E,TF,都确定了属性val,表示它们的值。 如果一个重写规则中有两个相同的符号,需加足标区 别 在归约过程中,每个归约得到的符号都对应于输入符 号串中的某一段语法制导定义的例子 • 对于语法符号E,T,F，都确定了属性val，表示它们的值。 • 如果一个重写规则中有两个相同的符号，需加足标区 别。 • 在归约过程中，每个归约得到的符号都对应于输入符 号串中的某一段。 L::=En 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