6属性文法和语法制导翻译解答.pptVIP

* 表6.5用LR分析器实现台式计算器(对比slide 10) 产生式 代码段 L?En E ?E+T E ?T T ?T*F T ?F F ?(E) F ?digit printf(val[ntop]) val[ntop]:=val[top-2]+val[top] val[ntop]:=val[top-2]*val[top] val[ntop]:=val[top-1] 表6.6 翻译输入3*5+4n所做的移动 输入 state val 使用的产生式 3*5+4n - - *5+4n 3 3 *5+4n F 3 F?digit *5+4n T 3 T?F 5+4n T* 3 - +4n T* 5 3 - 5 +4n T* F 3 - 5 F ?digit +4n T 15 T? T*F +4n E 15 E? T 4n E+ 15 - n E+4 15 - 4 n E+F 15 - 4 F ? digit n E+T 15 - 4 T? F n E 19 E? E+T En 19 - L 19 L? En 总结： 采用自底向上分析，例如LR分析，首先给出S-属性定义，然后，把S-属性定义变成可执行的代码段，这就构成了翻译程序。象一座建筑，语法分析是构架，归约处有一个“挂钩”,语义分析和翻译的代码段（语义子程序）就挂在这个钩子上。这样，随着语法分析的进行，归约前调用相应的语义子程序,完成翻译的任务。 一个属性文法是L-属性文法，如果每个产生式A→X1X2…Xn，其每个语义规则中的每个属性或者是综合属性，或者是Xj(1?j ? n)的一个继承属性且这个继承属性仅依赖于 ： 1. 产生式中Xj的左边符号X1，X2，…Xj-1 的属性； 2．A的继承属性。 即：其继承属性仅能由位于当前产生式其左的属性或产生式左部符号的继承属性来计算。 可见：S-属性文法一定是L-属性文法。 6.4 L-属性文法和自顶向下翻译 表6.7 非L-属性文法（i继承属性,s综合属性 ) 表6.7的文法不是L-属性文法，因为文法符号Q的继承属性依赖于它右边文法符号R的属性 产生式 语义规则 A?LM A ? QR L.i:=l(A.i) M.i:=m(L.s) A.s:=f(M.s) R.i:=r(A.i) Q.i:=q(R.s) A.s:=f(Q.s) Translation schema 如果在构造属性文法时把语义规则或语义动作用花括号｛ ｝括起来，插入到产生式右部的任何合适的位置上，指明语义规则的计算次序，则称之为翻译模式。 这是一种语法分析和语义动作交错的表示法，它表达在按深度优先遍历分析树的过程中 何时执行语义动作。 翻译模式给出了使用语义规则进行计算的顺序。可看成是分析过程中翻译的注释。 1.翻译模式 语法制导与翻译模式 1 语法制导定义 用抽象的属性和运算符号表示的语义规则;(公式,做什么) 2翻译模式 用具体属性和运算表示的语义规则。(程序段，如何做) 语义规则也被习惯上称