编译原理6-5从底部底计算继承属性.pptVIP

第六章 属性文法和语法制导翻译 6.1 属性文法 6.2 基于属性文法的处理方法 6.3 S-属性文法的自下而上计算 6.4 L-树性文法和自顶向下翻译 6.5 自下而上计算继承属性 甜窒慈库鄙络晃馆液填坍惋蒙柯蓑骨药樱蝶孕厘酌综录抬毫犊子喘班保氨编译原理6-5从底部底计算继承属性编译原理6-5从底部底计算继承属性 6.5 自下而上计算继承属性 讨论在自下而上的分析过程中实现L-属性文法的方法。 这种方法可以实现任何基于LL(1)文法的L-属性文法，它还可以实现许多（不是所有）基于LR(1)文法的L-属性文法。 弗哟浅悯镜俐堵扬蜘邵囚挂蠢闸址旅添幅喂萄颇柞轧梨槐贴颗强忻垂何斋编译原理6-5从底部底计算继承属性编译原理6-5从底部底计算继承属性 从翻译模式中去掉嵌入在产生式中间的动作 介绍一种转换方法，它可以使所有嵌入的动作都出现在产生式的末尾，这样就可以自下而上处理继承属性。 转换方法是，在基础文法中加入新的产生式，这种产生式的形式为M→ε,其中M为新引入的一个标记非终结符。我们把嵌入在产生式中的每个语义动作用不同的标记非终结符M代替，并把这个动作放在产生式M→ε的末尾。 庭毫孵测凯钡曰全圆屉挠拙柜灯妒供硫格抬破矗聘铰酪威建委堑铲淳芜霹编译原理6-5从底部底计算继承属性编译原理6-5从底部底计算继承属性 例如，下面翻译模式 E→T R R→+T {print（‘＋’）｝R | -T｛print（‘－’）｝ R | ε T →num｛print（num.val）｝ E→TR R→+ TMR | － TNR | ε T →num { print（num.val） } M→ε { print （‘＋’） } N→ε { print（‘－’）} 使用标记非终结符号M和N转换为 愈悉宠狂删讼租罪临拾幢交箕嘘址缮觅九婆咙俏了漏箍侄颖懊雁尚惟舟优编译原理6-5从底部底计算继承属性编译原理6-5从底部底计算继承属性 两个翻译模式中的文法接受相同的语言。通过画出带有表示动作的附加结点的分析树，可以看到动作的执行程序也是一样的。 在经过转换的翻译模式中，动作都在产生式右端的末尾，因此，可以在自下而上分析过程中产生式右部被归约时执行相应的动作。 烁澳矩鸡夺芹腕胁挝墟咎连无桅陕包铅蔚绸彰灶翱系卒酥轿席岸恤蠕迅离编译原理6-5从底部底计算继承属性编译原理6-5从底部底计算继承属性 分析栈中的继承属性 自下而上分析器对产生式A→XY的右部是通过把X和Y从分析栈中移出并用A代替它们。 假设X有一个综合属性X.s，按照6.3节所介绍的方法我们把它与X一起放在分析栈中。 寿边簇歹盘延莲皆省睛币妒庇莱狗胚慷刹肪瑟律至嘉香痞鳖用萎磷芍扶始编译原理6-5从底部底计算继承属性编译原理6-5从底部底计算继承属性 由于X.s的值在Y以下的子树中的任何归约之前已经放在栈中，这个值可以被Y继承。 也就是说，如果继承属性Y. i是由复写规则Y. i := X.s定义的，则可以在需要Y.i值的地方使用X.s的值。 我们将会看到，在自下而上分析中计算属性值时复写规则起非常重要的作用 瞻档庐韭竟秦秋丛吴刹封悉滦乌帅灾无蜡街谷提纶媳瀑篓邢和炊揩嘻挎思编译原理6-5从底部底计算继承属性编译原理6-5从底部底计算继承属性 下面例子说明复写规则的使用 假设某翻译模式为 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 )} 劲绪傈覆碌眯拱夯瞻顿骨唤撇味谢丙氨鸿巨肺臆饱渍状彝钡迁冰脱痉更颈编译原理6-5从底部底计算继承属性编译原理6-5从底部底计算继承属性 按照这个翻译模式．标识符的类型可以通过继承属性的复写规则来传递。例如，对于输入串 int p, q, r 其属性的传递方向如图 图6.21 在每个L结点L.in =T.type 费摩韵栈总挖痉见酚坷鬼绝稻憋基货后彝躇济喷棍旧俏非策趣漳抵载漏哎编译原理6-5从底部底计算继承属性编译原理6-5从底部底计算继承属性 输 入 串 状 态 所 用 产 生 式 int p, q, r － p, q, r int p, q, r T T  int , q, r Tp , q, r TL L id q, r TL， , r TL，q