L属性的自下而上计算-奥鹏教育.DOCVIP

奥鹏远程教育中心助学服务部 PAGE 心系天下求学人 Page PAGE 1of NUMPAGES 12 专业 专注 周到 细致北航《编译技术》第四章 语法制导的翻译 课堂笔记主要知识点掌握程度 本章介绍了介绍一种形式化的语义描述方法：语法制导的翻译，包括它的两种具体形式,语法制导的定义和翻译方案，并且进一步介绍了语法制导翻译的实现方法。 知识点整理 语法制导定义的形式基础文法每个文法符号有一组属性每个文法产生式A ? a有一组形式为b := f(c1, c2, …, ck )的语义规则，其中f 是函数，b和c1, c2, …, ck 是该产生式文法符号的属性综合属性：如果b是A的属性，c1 , c2 , …, ck 是产生式右部文法符号的属性或A的其它属性。继承属性：如果b是产生式右部某个文法符号X的属性。综合属性S属性定义：仅仅使用综合属性的语法制导定义继承属性 int id, id, id属性依赖图 int id1, id2, id3的分析树的依赖图属性计算次序拓扑排序：结点的一种排序，使得边只会从该次序中先出现的结点到后出现的结点。例：1，2，3，4，5，6，7，8，9，10语义规则的计算方法分析树方法：前面介绍的方法。基于规则的方法：静态确定语义规则的计算次序。忽略规则的方法：事先确定属性的计算策略（如边分析边计算），那么语义规则的设计必须符合所选分析方法的限制。S属性定义的自下而上计算 语法树语法树是分析树的浓缩表示：算符和关键字是作为内部结点。 语法制导翻译可以基于分析树，也可以基于语法树语法树的例子：构造语法树的语法制导定义S属性的自下而上计算 将LR分析器增加一个域来保存综合属性值。L属性定义的自上而下计算边分析边翻译的方式能否用于继承属性？属性的计算次序一定受分析方法所限定的分析树结点建立次序的限制。分析树的结点是自左向右生成。如果属性信息是自左向右流动，那么就有可能在分析的同时完成属性计算。L属性定义如果每个产生式A ?X1 X2 … Xn 的每条语义规则计算的属性是A的综合属性；或者是Xj 的继承属性，1 ￡ j ￡ n, 但它仅依赖：该产生式中Xj左边符号X1, X2, …, Xj-1的属性；A的继承属性。S属性定义属于L属性定义。变量类型声明的语法制导定义是一个L属性定义 翻译方案例 把有加和减的中缀表达式翻译成后缀表达式 如果输入是8+5 -2，则输出是8 5 + 2 -。 E ? T R R ? addop T {print (addop.lexeme)} R1 | e T ? num {print (num.val)} E T T R T num {print (8)} R T num{print (8)}addop T{print (+)}R T num{print(8)}addop num{print(5)}{print (+)}R … {print(8)}{print(5)}{print(+)}addop T{print(-)} R … {print(8)}{print(5)}{print(+)}{print(2)}{print(-)}例 数学排版语言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 }例 左递归的消除引起继承属性预测翻译器的设计把预测分析器的构造方法推广到翻译方案的实现产生式R ? +TR | e 的分析过程procedure R; begin if lookahead = ‘+’ then begin match ( ‘+’ ); T; R end else begin /* 什么也不做 */ end end用综合属性代替继承属性Pascal的声明，如m, n : integer D ? L : T T ? integer | char L ? L, id | id改成从右向左归约 D ? id L L ? , id L | : T T ? in