cmpl_06.pptVIP

属性文法和语法制导翻译 §6.2 基于属性文法的处理方法 语法制导翻译： 由源程序的语法结构所驱动的处理方法： 输入串→语法树→依赖图→语义规则计算次序 也可以用树搜索的方法或一次扫描实现属性文法的语义规则计算，语法分析的同时完成语义计算，如L-属性文法。 6.2.2 树遍历的属性计算方法 设语法树已预先建好，且树中已有开始符号(根结点)的继承属性和终结符号(叶结点)的综合属性。 1.深度优先：从左到右遍历树算法(可使用多次遍历) while 还有未被计算的属性 do VisitNode(S); /*S为开始符号*/ Procedure VisitNode(N:Node); begin if N是一个非终结符 then /*假设它的产生式为N →X1 X2 … Xm */ for i:=1 to m do if Xi ∈ VN then begin 计算Xi的所有能够计算的继承属性; VisitNode(Xi) end; 计算N的所有能够计算的综合属性 end; 2.算法分析 上述算法适用于任何无循环的属性文法的属性计算，每次遍历至少有一个属性值被计算出来。 设语法树有n个结点，属性有O(n)个，最环的情况整个遍历需O(n2)时间。 例6.6 考虑属性文法如下： 产生式 语义规则 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 假设 S.a=0为已知，对输入串xyz的分析过程如下： S:a=0 S:a=0 S:a=0,b=0 S:a=0,b=0 X Y Z X Y Z:h=0 X:c=1 Y Z:h=0 X:c=1 Y:e=0 Z:h=0 g=1 d=2 g=1 d=2 f=0 g=1 x y z x y z x y z x y z (a)初始状态 (b)一遍 ?两遍 (d)最终状态(三遍) 6.2.4 抽象语法树 §6.3 S－属性文法的自下而上计算 1. S－属性文法：只含有综合属性的属性文法。 2. S－属性文法自下而上翻译器的实现。 思想：分析器可以保存与栈中文法符号有关的综合属性 值，每当进行归约时，新的属性值就由栈中正在归约的 产生式右边符号的属性值来计算。 扩充自下而上语法分析器：(LR) 栈中增加文法符号相关的综合属性值由栈顶句柄的文法符号串对应属性。 归约前从计算产生式右部文法符号的属性并入栈(执行语义规则相应动作)。 设终结符的综合属性由词法分析器而得。 例6.9 用LR分析器实现台式计算机 产生式 代码段 L →En print(val[top]) E →E1+T val[ntop]:=val[top-2]+val[top] E →T T →T1*F val[ntop]:=val[top-2]*val[top] T →F F →(E) val[ntop]:=val[top-1] F →digit §6.4 L－属性文法和自顶向下翻译 6.4.1 翻译模式 1.例 由中缀表达式向后缀表达式翻译的翻译模式 E →TR R →addop T {print(addop.lexeme)} R1|ε T →num{print(num.val)} 带有动作的语法分析树：将语义动作看作终结符号(虚)构 造的语法分析树。 例如上述翻译