4.3 L属性定义的自上而下计算.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4.4 L属性的自下而上计算 2、属性的位置不能预测 S ? aAC C.i = A.s S ? bABC C.i = A.s C ? c C.s = g(C.i) 增加标记非终结符，使得位置可以预测 S ? aAC C.i = A.s S ? bABMC M.i = A.s; C.i = M.s C ? c C.s = g(C.i) 还得考虑M.s M ? ? M.s = M.i 计算的可预测 4.4 L属性的自下而上计算 4.4.3 模拟继承属性的计算 继承属性是某个/些综合属性的一个函数 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) 4.4 L属性的自下而上计算 例 数学排版语言EQN S ? {B.ps = 10 } B {S.ht = B.ht } ?B ? {B1.ps = B.ps } B1 {B2.ps = B.ps } B2 {B.ht = max(B1.ht, B2.ht ) } ?B ? { B1.ps =B.ps } B1 sub { B2.ps = shrink(B.ps) } B2 {B.ht = disp (B1.ht, B2.ht ) } ?B ? text {B.ht = text.h ? B.ps } 4.4 L属性的自下而上计算 产 生 式 语 义 规 则 S ? LB B.ps = L.s; S.ht = B.ht L ? ? L.s = 10 将B.ps存入栈中，便于引用 B ? B1 MB2 B1.ps = B.ps; M.i = B.ps; B2.ps = M.s;B.ht = max(B1.ht, B2.ht ) M ? ? M.s = M.i B ? B1 sub NB2 B1.ps =B.ps; N.i = B.ps; B2.ps = N.s; B.ht = disp (B1.ht, B2.ht ) N ? ? N.s = shrink(N.i) B ? text B.ht = text.h ? B.ps 4.4 L属性的自下而上计算 产 生 式 语 义 规 则 S ? LB B.ps = L.s; S.ht = B.ht L ? ? L.s = 10 将B.ps存入栈中，便于引用 B ? B1 MB2 B1.ps = B.ps; M.i = B.ps; B2.ps = M.s;B.ht = max(B1.ht, B2.ht ) M ? ? M.s = M.i 单纯为了属性位置可预测 B ? B1 sub NB2 B1.ps =B.ps; N.i = B.ps; B2.ps = N.s; B.ht = disp (B1.ht, B2.ht ) N ? ? N.s = shrink(N.i) B ? text B.ht = text.h ? B.ps 4.4 L属性的自下而上计算 产 生 式 语 义 规 则 S ? LB B.ps = L.s; S.ht = B.ht L ? ? L.s = 10 将B.ps存入栈中，便于引用 B ? B1 MB2 B1.ps = B.ps; M.i = B.ps; B2.ps = M.s;B.ht = max(B1.ht, B2.ht ) M ? ? M.s = M.i 单纯为了属性位置可预测 B ? B1 sub NB2 B1.ps =B.ps; N.i = B.ps; B2.ps = N.s; B.ht = disp (B1.ht, B2.ht ) N ? ? N.s = shrink(N.i) 兼有计算功能 B ? text