第14讲编译原理.ppt

中国科大 4.3 L属性定义的自上而下计算 关于算术表达式的左递归文法相应的翻译模式 E→E1+T {E.val:=E1.val+T.val} E→E1-T {E.val:=E1.val-T.val} E→T {E.val:=T.val} T→(E) {T.val:=E.val} T→num {T.val:=num.val} 消除左递归，构造新的翻译模式 E → T {R.i:=T.val} R {E.val:=R.s} R → + T {R1.i:=R.i+T.val} R1 {R.s:=R1.s} R → - T {R1.i:=R.i-T.val} R1 {R.s:=R1.s} R → ? {R.s:=R.i} T → ( E ) {T.val:=E.val} T → num {T.val:=num.val} 计算表达式9－5＋2 E → T { R.i:=T.val } R { E.val:=R.s } R → + T { R1.i:=R.i+T.val } R1 { R.s:= R1.s } R → - T { R1.i:=R.i-T.val } R1 { R.s:= R1.s } R → ? { R.s:=R.i } T → ( E ) { T.val:=E.val } T → num { T.val:=num.val } 一般方法 假设有翻译模式： A→A1Y {A.a:=g(A1.a,Y.y) } A→X {A.a:=f(X.x)} 它的每个文法符号都有一个综合属性，用小写字母表示，g和f是任意函数。 XYY 构造抽象语法树的属性文法定义转化成翻译模式 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的抽象语法树 4.3 L属性定义的自上而下计算 例 左递归的消除引起继承属性 4.3 L属性定义的自上而下计算 E ? T {R.i := T.nptr} T + T + T + … R {E.nptr := R.s} R ? + T {R1.i := mknode ( ‘+’, R.i, T.nptr)} R1 {R.s := R1.s} R ? ? {R.s := R.i } T ? F {W.i := F.nptr} W {T.nptr := W.s} W ? * F {W1.i := mknode ( ‘*’, W.i, F.nptr)} W1 {W.s := W1.s} W ? ? {W.s := W.i } 4.3 L属性定义的自上而下计算 4.3.3设计递归下降翻译器的方法 1. 对每个非终结符A构造一个函数过程，对A的每个继承属性设置一个形式参数 函数的返回值为A的综合属性（作为记录，或指向记录的一个指针，记录中有若干域，每个属性对应一个域）。为了简单，我们假设每个非终结只有一个综合属性 A对应的函数过程中，为出现在A的产生式中的每一个文法符号的每一个属性都设置一个局部变量。 设计递归下降翻译器的方法 2. 非终结符A对应的函数过程中，根据当前的输入符号决定使用哪个产生式候选。 设计递归下降翻译器的方法 3. 每个产生式对应的程序代码中，按照从左到右的次序，对于单词符号（终结符）、非终结符和语义动作分别作以下工作： i) 对于带有综合属性x的终结符X，把x的值存入为X.x设置的变量中。然后产生一个匹配X的调用，并继续读入一