编译原理第四章语法制导定义L属性文法的自下而上计算

L属性文法的自下而上计算

• 可以实现任何基于LL(1)文法的L属性定义
• 也能实现大部分基于LR(1)的L属性定义

一.删除翻译方案中嵌入的动作

方法:
1.加入新产生式M→ξ
2.把嵌入在产生式中每个语义动作用不同的非终结符代替，并把这动作放到1的产生式后面

R→+T{print(’+’)}R1 | -T{print(’-’)}R1 | ξ
=>R→+TMR1 | -TNR1 | ξ
M→ξ {print(’+’)}
N→ξ {print(’-’)}

二.分析栈上的继承属性

(1)属性位置能预测

int p,q,r
D→T{L.in=T.type;}L
T→int{T.type=integer;}
L→{L1.in=L.in;}L1,id{addtype(id.entry,L.in);}
L→id{addtype(id.entry,L.in);}

当识别int时按第二个产生式进行归约，栈顶只有T，识别p时因为自下而上分析我们不知道L.in的值是多少，但我们从上而下看L.in的值跟T一样，所以当p归约成L时，此时栈中栈顶为p以及栈底的T,所以我们可以把翻译模式改为栈中addtype(val[top],val[top-1]),同理，当L，q按第三个产生式归约时，栈中自底向上为T、L、，、q可以改写为addtype(val[top],val[top-3])

产生式	代码段
D→TL
T→int	val[top]=integer;
L→L1,id	addtype(val[top],val[top-3])
L→id	addtype(val[top],val[top-1])

(2)属性位置不能预测

S→aAC C.i=A.s;
S→bABC C.i=A.s
C→c C.s=g(C.i);

例如上面的文法c归约为C后，C无法确定按第一个还是第二个产生式进行归约，前者的话要去top-1获取A.s，后者则要去top-2获取，所以不能准确得出到底去哪获取，此时我们可以增加标记非终结符，使得位置可以预测

S→aAC C.i=A.s;C.i=M.s==
S→bABMC M.i=A.s；C.i=M.s；
C→c C.s=g(C.i);
M→ξ M.s=M.i

这里的M.i在M归约前获取了A.s的值，M规约后等于M.s，C在归约前获取了M.s，相当于可以使C每次在归约时都在栈中往前看top-1的值就可以获取了

三.模拟继承属性的计算

该类情况通常适用于继承属性是某个综合属性的一个函数

S→aAC C.i=f(A.s);
C→c C.s=g(C.i);

这类情况往往是计算完函数的值后无法存储以至于无法获取，通常增加标记非终结符，把f(A.s)的计算移到对标记非终结符归约时进行

S→aANC N.i=A.s;C.i=N.s;
N→ξ N.s=f(N.i)
C→c C.s=g(C.i);

N在归约前用继承属性记录了A.s的值，在归约后计算出函数的值存储到N的综合属性上，放到栈顶，C在归约前就可以获取，运用到数学方面，先用一个未知量x存储一个数字，然后再把这个数字带入到函数关系中。
当然这类方法也可以增加一个变量，但会使计算变得更复杂，不可取。