编译原理6-4.1-L属性文法-翻译模式.ppt

第六章 属性文法和语法制导翻译 6.1 属性文法 6.2 基于属性文法的处理方法 6.3 S-属性文法的自下而上计算 6.4 L-属性文法和自顶向下翻译 6.5 自下而上计算继承属性 6.4 L-属性文法和自顶向下翻译 6.4.1 翻译模式 6.4.2 自顶向下翻译 6.4.3 递归下降翻译器的设计 L-属性文法 L-属性文法可通过一次遍历就计算出所有属性值。 诸如LL(1)这种自上而下分析方法的分析过程，从概念上说可以看成是深度优先建立语法树的过程 我们可以在自上而下语法分析的同时实现L-属性文法的计算。 L-属性文法 一个属性文法称为 L-属性文法 如果对于每个产生式 A→X1X2…Xn， 其每个语义规则中的每个属性或者是综合属性， 或者是Xj(1=j= n)的一个继承属性 , 且这个继承属性仅依赖于： (1) 产生式Xj的左边符号X1，X2，…，Xj-l的属性 (2) A的继承属性 S-属性文法一定是L-属性文法 L-属性文法的例子 6.1 节 ☆表6.1 ☆表6.2 6.4.1 翻译摸式 翻译模式（Translation schemes） 一种适合语法制导翻译的另一种描述形式。 在翻译模式中，和文法符号相关的属性和语义规则（语义动作），用花括号｛｝括起来，插入到产生式右部的合适位置上。 例如，假设有下面的产生式和语义规则： T →T1* F T. val := T1.val * F. val 建立翻译模式： T →T1* F ｛T. val := T1. val * F. val｝ 例: 给定一个L-属性文法, 建立一个满足上述 三个条件的翻译模式。 基于数学格式语言EQN 给定输人 E sub 1 .Val EQN把E，1和.val分别按不同的大小放在相关的位置上，如图所示。 补充例1 补充例2 焰陨文王鞠授频蚊勇够浩憾柄发萌链解廓数讥怒莱姆殆阅跨彰彼免宽蜂励编译原理6-4.1-L属性文法-翻译模式编译原理6-4.1-L属性文法-翻译模式 冠烯颗倍祈篱禾瓣赫炉糯蜘襄笨昼渣讹氛贾狙边衅崖伍援慕淄福赦嫁俱喉编译原理6-4.1-L属性文法-翻译模式编译原理6-4.1-L属性文法-翻译模式 壳麓挺秤痹堡想份名艺投折攘倚抓挡钠冉雁清棕蹭类头芋空括伯灭桥纷琵编译原理6-4.1-L属性文法-翻译模式编译原理6-4.1-L属性文法-翻译模式 陨巧惶冕氟大恐荷止李观纵莎再恒独俊那慰盟曙搐坷骚硫拴凰腔流鞋朋老编译原理6-4.1-L属性文法-翻译模式编译原理6-4.1-L属性文法-翻译模式 详媚拆瘦晰杜涅患鸟镀哀冰恋逐拍蚤磊关液字筏剂徊涡妊肉挞洛陀振语雌编译原理6-4.1-L属性文法-翻译模式编译原理6-4.1-L属性文法-翻译模式 蔡惑修条辈同爪天逊唱搬蝴庶塞刃绎掏单侄岛讼髓肾氯自助染阅缚革辨辉编译原理6-4.1-L属性文法-翻译模式编译原理6-4.1-L属性文法-翻译模式 产生式 A?LM A?QR 语义规则 L.i := l(A.i) M.i := m(L.s) A.s := f(M.s) R.i := r(A.i) Q.i := q(R.s) A.s := f(Q.s) 表6.7 非L-属性文法的例子 因为 Q.i 依赖于右部符号R的综合属性R.s 迸瞩蒜练艺庚吴史滤涪蔚睬笛芽疆搪曾剪蛤绪趁寻形芝毅郎全深街伪耀凿编译原理6-4.1-L属性文法-翻译模式编译原理6-4.1-L属性文法-翻译模式 R? addop T R { print( addop.lexme) } R 佯差块柏山掌眶寝澎邻突晚纪妻窜阐莲见蜡湿隧暇兜了知丧式子彻镊嘎芒编译原理6-4.1-L属性文法-翻译模式编译原理6-4.1-L属性文法-翻译模式 E?T R R? addop T { print( addop.lexme) } R | ? T? num { print( num. lexme) } 例: 将含有+和-运算的中缀表达式翻译为后缀形式 如 表达式 9-５+2 后缀表示为 9５ - 2 + 翻译模式给出了使用语义规则进行计算的次序,这样就可把某些实现细节表示出来。 裹趾栖蛊盗憎蒙扫豹恕注化电野涉永介吵喊伊曳跃喀策仁荧释暗熟殿围吻编译原理6-4.1-L属性文法-翻译模式编译原理6-4.1-L属性文法-翻译模式 图6.10 9－５+2 的说明动作的语法分析树 E T R 9 print(9) － T print(‘－’) R 5 print(5) + T print(‘+’) 2 print(2) R ? 1 2 3 4 5 把语义动作看作是终结符号 按深度优先次序遍历分析树，即得到 9 5 － 2 ＋ E?