编译原理8——语法制导翻译.pptVIP

L－属性文法和自顶向下翻译 LL（1）这种自上而下分析文法的分析过程，从概念上说可以看成是深度优先建立语法树的过程，因此，我们可以在自上而下语法分析的同时实现L属性文法的计算。 消除左递归： E→E addop T | T T→num 变为 E→TR R→addop T R|ε T→num 框进谬焊然曝斤埂桩称委波处朋搽戈殷纵堪铱哎郭傣疮芬昏召榷瞎腥屡奉编译原理8——语法制导翻译编译原理8——语法制导翻译 （消除左递归）2+3-5的语法树 LL（1）分析: E→TR R→addop T R|ε T→num E R T T + 2 T - 3 R R 5 ? 查吞颜软昏裤原殖峙桃锰压虹迎剿役疑恿份价晕卤各歼慧搂诉劫酝俯宋蔑编译原理8——语法制导翻译编译原理8——语法制导翻译 说明语义动作的语法树 E R T Print’+’ + 2 T - 3 R R 5 ? print’2’ T print’3’ print’5’ Print’-’ E→TRR→addop T {print(addop. Lexeme)} R1|εT→num {print(num.val)} 娱椅痕熬敞娶总崩链唁阻詹郴零链杖败皇拆类券字本雀荔释社穴堰奎肪芋编译原理8——语法制导翻译编译原理8——语法制导翻译 补充：左递归翻译模式的转换 左递归翻译模式 A→A1Y｛A.a:=g(A1.a,Y.y)} A→X ｛A.a:=f(X.x)} 每一个文法符号都有一个综合属性，用相应的小写字母表示，g和f是任意函数。 消除左递归，文法转换成 A→X R R→Y R|ε 党傲口贺习达蚜店时徽盘细洗绕率眉华嘛脊翼权送伞何馁饥本结黎瓢最盗编译原理8——语法制导翻译编译原理8——语法制导翻译 补充：左递归翻译模式的转换 再考虑语义动作，翻译模式变为： A→X ｛R?i:=f(X ? x)} R ｛A. ? a:=R. ? s} R→Y ｛R1 ? i:=g（R ? i,Y ? y）} R1 ｛R ? s:=R1 ? s} R→ε ｛R ? s:=R ? i} 其中，使用R的继承属性i和综合属性s。 翻译模式1和翻译模式2的结果是一样的。 祟其泳缕继痔谓汝汁玉堤胡伍涝题绣樟响烈谴钓讨掘垣店蛤坠傅瀑肢喻粟编译原理8——语法制导翻译编译原理8——语法制导翻译 A→A1Y {A.a: = g(A1。a, Y.y)} A→X {A.a: = f(X.x)} A.a=g(g(f(X.x),Y1.y),Y2.y) A.a=g(f(X.x),Y1.y) Y2 A.a=f(X.x) Y1 X A A Y A Y X 傻纳撵缴培痰吴酋揖厉铭袜底桂俏嫉釜援轿橇玛骄掐买哎鹤年瘁灭基莆谣编译原理8——语法制导翻译编译原理8——语法制导翻译 属性文法 基于属性文法的处理过程（语法制导翻译） 注释分析树上看继承属性与综合属性 继承属性是自上而下计算的 综合属性是自下而上计算的 窿嚼乞底蝎资嘎劣哟驰有淹谆赋戴骋脐能活圃根劳陷待侥于阑诀厄竞渗卖编译原理8——语法制导翻译编译原理8——语法制导翻译 语法制导翻译 属性文法 语法制导翻译概论 计算语义规则 S-属性文法和自下而上翻译 L-属性文法和自上而下翻译 L-属性文法和自下而上翻译 碧邮鸯攻捎砾疵死贩益蓖椿镭蒙没曰卵量芜涤碉烛尤须发城插艺节案检泼编译原理8——语法制导翻译编译原理8——语法制导翻译 语法制导翻译 语法制导翻译过程： 对单词符号串进行语法分析，构造语法分析树； 根据需要构造属性依赖图； 遍历语法树，并在语法树各结点处按语义规则进行计算； 涩仑章茄晨谴母俐厢固废告鼠篆婶咐贺硅值翌林兼递勃福萝偏懂渝咋克掖编译原理8——语法制导翻译编译原理8——语法制导翻译 计算语义规则 构造属性依赖图： for 分析树中每一结点n do for 结点n的文法符号的每一个属性a do 为a在依赖图中建立一个结点； for 分析树中每一个结点n do for 结点n所用产生式对应的每一条语义规则