编译原理：第六章 属性文法与语法制导翻译.pptVIP

属性文法的说明(1) 属性文法的说明(2) 语义规则所描述的工作 语义规则所描述的工作可以是任何希望的翻译工作，如: 属性计算、静态语义检查、符号表操作、中间代码生成、报告出错， 等等。 语义规则可能产生副作用(如产生代码)，也可能不是变元的严格函数 b:=f(c1,c2,…,ck) ，如某个规则给出可用的下一个数据单元的地址。这样的语义规则通常写成过程调用或过程段--- 这时认为定义了一个虚属性。 XYY X A A.a=f(X.x) Y1 A A.a=g(f(X.x),Y1.y) Y2 A A.a=g(g(f(X.x),Y1.y), Y2.y) A→A1Y {A.a:=g(A1.a,Y.y)} A→X {A.a:=f(X.x)} XYY ? A X R R.i=f(X.x) Y1 R R.i= g(f(X.x),Y1.y) Y2 R R.i= g(g(f(X.x),Y1.y), Y2.y) R.s= g(g(f(X.x),Y1.y), Y2.y) R.s= g(g(f(X.x),Y1.y), Y2.y) R.s= g(g(f(X.x),Y1.y), Y2.y) A.a= g(g(f(X.x),Y1.y), Y2.y) A → X {R.i:=f (X.x)} R {A.a:=R.s} R → Y {R1.i:=g(R.i,Y.y)} R1 {R.s:=R1.s} R → ? {R.s:=R.i} 构造抽象语法树的属性文法定义转化成翻译模式 E→E1+T {E.nptr:=mknode(‘+’,E1.nptr,T.nptr)} E→E1-T {E.nptr:=mknode(‘-’,E1.nptr,T.nptr)} E→T {E.nptr:=T.nptr} 构造抽象语法树的属性文法定义转化成翻译模式 E → T {R.i:=T.nptr} R {E.nptr:=R.s} R → + T {R1.i:=mknode(‘+’,R.i,T.nptr)} R1 {R.s:=R1.s} R → - T {R1.i:=mknode(‘－’,R.i,T.nptr)} R1 {R.s:=R.s} R → ? {R.s:=R.i} T → ( E ) {T.nptr:=E.nptr} T → id {T.nptr:=mkleaf(id,id.entry)} T → num {T.nptr:=mkleaf(num,num.val)} 使用继承属性构造a－4＋c的抽象语法树 E T R id To entry for a id T.nptr - T num num 4 T.nptr R. i - R + T R id To entry for c id T.nptr R. i + R. i ? R. s R. s R. s E.nptr E → T {R.i:=T.nptr} R {E.nptr:=R.s} R → + T {R1.i:=mknode(‘+’,R.i,T.nptr)} R1 {R.s:=R1.s} R → - T {R1.i:=mknode(‘－’,R.i,T.nptr)} R1 {R.s:=R.s} R → ? {R.s:=R.i} T → ( E ) {T.nptr:=E.nptr} T → id {T.nptr:=mkleaf(id,id.entry)} T → num {T.nptr:=mkleaf(num,num.val)} 6.4.3 递归下降翻译器的设计 如何在递归下降分析中实现翻译模式，构造递归下降翻译器 设计递归下降翻译器的方法 1. 对每个非终结符A构造一个函数过程，对A的每个继承属性设置一个形式参数 函数的返回值为A的综合属性（作为记录，或指向记录的一个指针，记录中有若干域，每个属性对应一个域）。为了简单，我们假设每个非终结只有一个综合属性 A对应的函数过程中，为出现在A的产生式中的每一个文法符号的每一个属性都设置一个局部变量。 设计递归下降翻译器的方法 2. 非终结符A对应的函数过程中，根据当前的输入符号决定使用哪个产生式候选。 设计递归下降翻译器的方法 3. 每个产生式对应的程序代码中，按照从左到右的次序，对于单词符号（终结符）、非终结符和语义动作分别作以下工作： i) 对于带有综合属性x的终结符X，把x的值存入为X.x设置的变量中。然后产生一个匹配X的调用，并继续读入一个输入符号。 ii) 对于每个非终结符B，产生一个右边带