程序设计语言（第三版） 6.pptVIP

2. 特点: 为每一个语义规则建立一个包含赋值的动作,并 把这个动作放在相应的产生式右边的末尾. 3. 转换左递归翻译模式的一般方法： A→A1Y { A.a=g(A1.a ,Y.y } A→X { A.a= f (X.x) } 递归下降分析器的构造 p156 举例 AST:Abstract Syntax Tree 6.5 自下而上的计算继承属性 L-属性文法的自上而下分析翻译方法，适用于 所有基于LL(1)文法和许多基于LR(1)文法的L-属性 文法，是S-属性文法自下而上翻译技术的一般化。 （1）从翻译模式中去掉嵌入在产生式中间的动作 （2）分析栈中的继承属性 （3）模拟继承属性的计算 （4）用综合属性代替继承属性 6.5 自下而上的计算继承属性 S－属性文法翻译自下而上规约时进行，翻译模式允许翻译动作嵌入产生式，如何保证嵌入的动作在产生式的末尾？ 标记非终结符 M →ε 标记非终结符代替嵌入在产生式中间的语义动作， 并将这个动作放在产生式M →ε的末尾。 6.5 自下而上的计算继承属性 A→XY 综合属性 X.s 继承属性 Y.i 复写： Y.i := X.s 6.5 自下而上的计算继承属性 6.5 自下而上的计算继承属性 文法与属性位置 唯一确定 —— 计算属性的确定性 不确定到确定的转换 引入标记非终结符M，通过M的继承属性，传递属性计算的复写内容。 6.5 自下而上的计算继承属性 S→aAC{C.i=A.s} S→aAC{C.i=A.s} S→bABC{C.i=A.s} S→bABMC{M.i=A.s};{C.i=M.s} M→ε {M.s=M.i} S→aAC{C.s=g(C.i)} S→aAC{C.s=g(C.i)} 6.5 自下而上的计算继承属性 改变文法，用综合属性代替继承属性 例： D→L:T D→id L T→integer|real L→,id L|:T L→L,id|id T→integer|real D →T{L.in:=T.type}L T →int{T.type:=integer} T →real{T.type:=real} L → {L1.in:=L.in} L1, id {addtype(id_entry,L.in} L → id {addtype(id_entry,L.in} 输入串 int p,q,r p,q,r p,q,r ,q,r ,q,r q,r ,r ,r r 状态 - int T Tp TL TL, TL,q TL TL, TL,r TL D 产生式 T → int L → id L → L,id L → L,id D → TL 二.分析栈中的继承属性 跪福罩疚是抽独爽残愧痒舍熟吴拈苫毫哭职惶场鬃最支搂蒂角涂敢粳羞拄程序设计语言（第三版） 6程序设计语言（第三版） 6 输入串: real id1,id2,id3 D T L real L L ， id2 id3 ， id1 产生式 D→TL T→int T→real L→L1,id L→id 代码段 L.in:= T.type T.type := integer Val[ntop]:= integer T.type := real Val[ntop]:= real L1.in := L.in addtype(id.type,L.in) Val[top], Val[top-3] addtype(id.type,L.in) Val[top], Val[top-1] 1 9 10 4 5 6 7 8 2 3 二.分析栈中的继承属性 响撵栅鄂根震眨碎厌顾桑竹权辽习嗜暴巡堪等佣颗敏砍沿猾列虹逸否儒处程序设计语言（第三版） 6程序设计语言（第三版） 6 三.模拟继承属性的计算 例: S→aAC {C.i=A.s} S→aAC {C.i=A.s} S→bABC {C.i=A.s} S→bABMC {M.i=A.s};{C.i=M.s} M→ε {M.s=M.i} S→aAC {C.s=g(C.i)} S→aAC {C.s=g(C.i)} 淘散霍寓丧狄开许密蓬衡键丸年砖湘夸烘战淫逗疗臂泪幽骄丸啤惯涸凯庇程序设计