第六章 属性文法和语法制导翻译

1、第六章第六章 语法制导的翻译语法制导的翻译 本章内容本章内容 介绍一种语义描述方法：介绍一种语义描述方法：语法制导的翻译语法制导的翻译，介绍语法制导的翻译的实现方法。介绍语法制导的翻译的实现方法。6.1 属性文法属性文法例例简单台式计算器的属性文法简单台式计算器的属性文法产产 生生 式式 语语 义义 规规 则则 L E n print (E.val) E E1 + T E.val := E1 .val + T.val E T E.val := T.val T T1 * * F T.val := T1.val * * F.val T F T.val := F.val F (E) F.val :=

2、 E.val F digit F.val := digit.lexval6.1 属性文法属性文法6.1.1 属性文法定义的形式属性文法定义的形式 基础文法基础文法 每个文法符号有一组属性每个文法符号有一组属性 每个文法产生式每个文法产生式A 有一组形式为有一组形式为b := f(c1, c2, , ck )的语义规则的语义规则，其中其中f 是函数，是函数，b和和c1, c2, , ck 是该产生式文法符号的属性是该产生式文法符号的属性 综合属性：综合属性：如果如果b是是A的属性，的属性，c1 , c2 , , ck 是是产生式右部文法符号的属性或产生式右部文法符号的属性或A的其它属性。的其它属

3、性。 继承属性继承属性：如果：如果b是产生式右部某个文法符号是产生式右部某个文法符号X的属性。的属性。6.1 属性文法属性文法6.1.2 综合属性（综合属性（synthesized attribute）S属性定义属性定义：仅仅使用综合属性的语法制导定义仅仅使用综合属性的语法制导定义产产 生生 式式 语语 义义 规规 则则 L E n print (E.val) E E1 + T E.val := E1 .val + T.val E T E.val := T.val T T1 * * F T.val := T1.val * * F.val T F T.val := F.val F (E) F.v

4、al := E.val F digit F.val := digit.lexval6.1 属性文法属性文法8+5* *2 n的注释分析树的注释分析树digit.lexval = 2LE.val = 18nT.val = 10E.val = 8T.val = 8F.val = 8digit.lexval = 8T.val = 5+*F.val = 5F.val = 2digit.lexval = 56.1 属性文法属性文法分析树各结点属性的计算可以自下而上地完成分析树各结点属性的计算可以自下而上地完成digit.lexval = 2LE.val = 18nT.val = 10E.val = 8T

5、.val = 8F.val = 8digit.lexval = 8T.val = 5+*F.val = 5F.val = 2digit.lexval = 56.1 属性文法属性文法分析树各结点属性的计算可以自下而上地完成分析树各结点属性的计算可以自下而上地完成digit.lexval = 2LE.val = 18nT.val = 10E.val = 8T.val = 8F.val = 8digit.lexval = 8T.val = 5+*F.val = 5F.val = 2digit.lexval = 56.1 属性文法属性文法分析树各结点属性的计算可以自下而上地完成分析树各结点属性的计算可

6、以自下而上地完成digit.lexval = 2LE.val = 18nT.val = 10E.val = 8T.val = 8F.val = 8digit.lexval = 8T.val = 5+*F.val = 5F.val = 2digit.lexval = 56.1 属性文法属性文法分析树各结点属性的计算可以自下而上地完成分析树各结点属性的计算可以自下而上地完成digit.lexval = 2LE.val = 18nT.val = 10E.val = 8T.val = 8F.val = 8digit.lexval = 8T.val = 5+*F.val = 5F.val = 2digi

7、t.lexval = 56.1 属性文法属性文法分析树各结点属性的计算可以自下而上地完成分析树各结点属性的计算可以自下而上地完成digit.lexval = 2LE.val = 18nT.val = 10E.val = 8T.val = 8F.val = 8digit.lexval = 8T.val = 5+*F.val = 5F.val = 2digit.lexval = 56.1 属性文法属性文法分析树各结点属性的计算可以自下而上地完成分析树各结点属性的计算可以自下而上地完成digit.lexval = 2LE.val = 18nT.val = 10E.val = 8T.val = 8F.

8、val = 8digit.lexval = 8T.val = 5+*F.val = 5F.val = 2digit.lexval = 56.1 属性文法属性文法分析树各结点属性的计算可以自下而上地完成分析树各结点属性的计算可以自下而上地完成digit.lexval = 2LE.val = 18nT.val = 10E.val = 8T.val = 8F.val = 8digit.lexval = 8T.val = 5+*F.val = 5F.val = 2digit.lexval = 56.1 属性文法属性文法分析树各结点属性的计算可以自下而上地完成分析树各结点属性的计算可以自下而上地完成di

9、git.lexval = 2LE.val = 18nT.val = 10E.val = 8T.val = 8F.val = 8digit.lexval = 8T.val = 5+*F.val = 5F.val = 2digit.lexval = 56.1 属性文法属性文法分析树各结点属性的计算可以自下而上地完成分析树各结点属性的计算可以自下而上地完成digit.lexval = 2LE.val = 18nT.val = 10E.val = 8T.val = 8F.val = 8digit.lexval = 8T.val = 5+*F.val = 5F.val = 2digit.lexval =

10、 56.1 属性文法属性文法分析树各结点属性的计算可以自下而上地完成分析树各结点属性的计算可以自下而上地完成digit.lexval = 2LE.val = 18nT.val = 10E.val = 8T.val = 8F.val = 8digit.lexval = 8T.val = 5+*F.val = 5F.val = 2digit.lexval = 56.1 属性文法属性文法分析树各结点属性的计算可以自下而上地完成分析树各结点属性的计算可以自下而上地完成digit.lexval = 2LE.val = 18nT.val = 10E.val = 8T.val = 8F.val = 8dig

11、it.lexval = 8T.val = 5+*F.val = 5F.val = 2digit.lexval = 56.1 属性文法属性文法注释分析树注释分析树: :结点的属性值都标注出来的分析树结点的属性值都标注出来的分析树digit.lexval = 2LE.val = 18nT.val = 10E.val = 8T.val = 8F.val = 8digit.lexval = 8T.val = 5+*F.val = 5F.val = 2digit.lexval = 56.1 属性文法属性文法6.1.3 继承属性继承属性(inherited attribute)int id, id, id

12、产产 生生 式式 语语 义义 规规 则则 D TL L.in := T.type T int T. type := integer T real T. type := real L L1, id L1.in := L.in; addtype (id.entry, L.in ) L id addtype (id.entry, L.in ) 6.1 属性文法属性文法int id1, id2, id3的注释分析树的注释分析树DintT.type = integer,id3L.in = integerL.in = integerL.in = integerid2id1,6.2 基于属性文法的处理方法基

13、于属性文法的处理方法6.2.1 依赖图依赖图int id1, id2, id3的分析树的依赖图的分析树的依赖图 D TL L.in := T.typeD intT,id3LLLid2id1,1 entry102 entry3 entryin 98in 76in 54 type6.2 基于属性文法的处理方法基于属性文法的处理方法6.2.1 依赖图依赖图int id1, id2, id3的分析树的依赖图的分析树的依赖图L L1, id L1.in := L.in; addtype (id.entry, L.in ) D intT,id3LLLid2id1,1 entry102 entry3 ent

14、ryin 98in 76in 54 type6.2 基于属性文法的处理方法基于属性文法的处理方法属性计算次序属性计算次序拓扑排序拓扑排序：结点的一种排序，使得边只会从该次序中：结点的一种排序，使得边只会从该次序中先出现的结点到后出现的结点。先出现的结点到后出现的结点。例：例：1，2，3，4，5，6，7，8，9，10D intT,id3LLLid2id1,1 entry102 entry3 entryin 98in 76in 54 type6.2 基于属性文法的处理方法基于属性文法的处理方法属性计算次序属性计算次序 构造输入的分析树构造输入的分析树D intT,id3LLLid2id1,1 en

15、try102 entry3 entryin 98in 76in 54 type6.2 基于属性文法的处理方法基于属性文法的处理方法属性计算次序属性计算次序 构造输入的分析树，构造属性依赖图构造输入的分析树，构造属性依赖图D intT,id3LLLid2id1,1 entry102 entry3 entryin 98in 76in 54 type6.2 基于属性文法的处理方法基于属性文法的处理方法属性计算次序属性计算次序 构造输入的分析树，构造属性依赖图，对结点进行构造输入的分析树，构造属性依赖图，对结点进行拓扑排序拓扑排序D intT,id3LLLid2id1,1 entry102 entry

16、3 entryin 98in 76in 54 type6.2 基于属性文法的处理方法基于属性文法的处理方法属性计算次序属性计算次序 构造输入的分析树，构造属性依赖图，对结点进行构造输入的分析树，构造属性依赖图，对结点进行拓扑排序，按拓扑排序的次序计算属性。拓扑排序，按拓扑排序的次序计算属性。D intT,id3LLLid2id1,1 entry102 entry3 entryin 98in 76in 54 type6.2 基于属性文法的处理方法基于属性文法的处理方法属性计算属性计算 构造输入的分析树，构造属性依赖图，对结点进行构造输入的分析树，构造属性依赖图，对结点进行拓扑排序，按拓扑排序的次

17、序计算属性。拓扑排序，按拓扑排序的次序计算属性。 也可以多次扫描分析树，如果属性文法不存在循环也可以多次扫描分析树，如果属性文法不存在循环依赖，每次至少会计算出一个属性值。依赖，每次至少会计算出一个属性值。 编译更感兴趣的是一遍扫描的处理方法。编译更感兴趣的是一遍扫描的处理方法。6.2 基于属性文法的处理方法基于属性文法的处理方法6.2.4 抽象抽象语法树语法树 语法分析与语义处理阶段分离语法分析与语义处理阶段分离 语法分析树不适合语义处理的因素：提取公共左因语法分析树不适合语义处理的因素：提取公共左因子，消除左递归等引入新的产生式和符号，标点等子，消除左递归等引入新的产生式和符号，标点等语法

18、要素不含任何语义信息语法要素不含任何语义信息 抽象语法树是语法分析和后续阶段的接口。抽象语法树是语法分析和后续阶段的接口。 if-then-elseBS1S2+*2586.2 基于属性文法的处理方法基于属性文法的处理方法6.2.4 抽象抽象语法树语法树产产 生生 式式语语 义义 规规 则则 E E1 + T E.nptr := mknode( +, E1.nptr, T.nptr) E T E.nptr := T.nptr T T1* *F T.nptr := mknode( * *, T1.nptr, F.nptr) T F T.nptr := F.nptr F (E) F.nptr :=

19、E.nptr F id F.nptr := mkleaf (id, id.entry) F num F.nptr := mkleaf (num, num.val) 6.2 基于属性文法的处理方法基于属性文法的处理方法a+5* *b的抽象语法树的构造的抽象语法树的构造E.nptrT.nptrE.nptrT.nptrF.nptridT.nptr+*F.nptrF.nptridnumididnum 5* *+ +指向符号表中指向符号表中a的入口的入口指向符号表中指向符号表中b的入口的入口6.2 基于属性文法的处理方法基于属性文法的处理方法a+5* *b的抽象语法树的构造的抽象语法树的构造E.nptr

20、T.nptrE.nptrT.nptrF.nptridT.nptr+*F.nptrF.nptridnumididnum 5* *+ +指向符号表中指向符号表中a的入口的入口指向符号表中指向符号表中b的入口的入口6.2 基于属性文法的处理方法基于属性文法的处理方法a+5* *b的抽象语法树的构造的抽象语法树的构造E.nptrT.nptrE.nptrT.nptrF.nptridT.nptr+*F.nptrF.nptridnumididnum 5* *+ +指向符号表中指向符号表中a的入口的入口指向符号表中指向符号表中b的入口的入口6.2 基于属性文法的处理方法基于属性文法的处理方法a+5* *b的抽

21、象语法树的构造的抽象语法树的构造E.nptrT.nptrE.nptrT.nptrF.nptridT.nptr+*F.nptrF.nptridnumididnum 5* *+ +指向符号表中指向符号表中a的入口的入口指向符号表中指向符号表中b的入口的入口6.2 基于属性文法的处理方法基于属性文法的处理方法a+5* *b的抽象语法树的构造的抽象语法树的构造E.nptrT.nptrE.nptrT.nptrF.nptridT.nptr+*F.nptrF.nptridnumididnum 5* *+ +指向符号表中指向符号表中a的入口的入口指向符号表中指向符号表中b的入口的入口6.2 基于属性文法的处理

22、方法基于属性文法的处理方法a+5* *b的抽象语法树的构造的抽象语法树的构造E.nptrT.nptrE.nptrT.nptrF.nptridT.nptr+*F.nptrF.nptridnumididnum 5* *+ +指向符号表中指向符号表中a的入口的入口指向符号表中指向符号表中b的入口的入口6.2 基于属性文法的处理方法基于属性文法的处理方法a+5* *b的抽象语法树的构造的抽象语法树的构造E.nptrT.nptrE.nptrT.nptrF.nptridT.nptr+*F.nptrF.nptridnumididnum 5* *+ +指向符号表中指向符号表中a的入口的入口指向符号表中指向符号

23、表中b的入口的入口6.2 基于属性文法的处理方法基于属性文法的处理方法a+5* *b的抽象语法树的构造的抽象语法树的构造E.nptrT.nptrE.nptrT.nptrF.nptridT.nptr+*F.nptrF.nptridnumididnum 5* *+ +指向符号表中指向符号表中a的入口的入口指向符号表中指向符号表中b的入口的入口6.2 基于属性文法的处理方法基于属性文法的处理方法a+5* *b的抽象语法树的构造的抽象语法树的构造E.nptrT.nptrE.nptrT.nptrF.nptridT.nptr+*F.nptrF.nptridnumididnum 5* *+ +指向符号表中指

24、向符号表中a的入口的入口指向符号表中指向符号表中b的入口的入口6.3 S属性文法的自下而上计算属性文法的自下而上计算6.2.3 S属性的自下而上计算属性的自下而上计算将将LR分析器分析器增加增加一个域来保存综合属性值一个域来保存综合属性值。. . . . . .ZZ. zYY. yXX.x. . . . . .栈栈 state valtop6.3 S属性文法的自下而上计算属性文法的自下而上计算6.2.3 S属性的自下而上计算属性的自下而上计算将将LR分析器分析器增加增加一个域来保存综合属性值一个域来保存综合属性值。. . . . . .ZZ. zYY. yXX.x. . . . . .栈栈 s

25、tate valtop若产生式若产生式A XYZ的语义规则是的语义规则是A.a := f (X.x, Y.y, Z.z)6.3 S属性文法的自下而上计算属性文法的自下而上计算6.2.3 S属性的自下而上计算属性的自下而上计算将将LR分析器分析器增加增加一个域来保存综合属性值一个域来保存综合属性值。. . . . . .ZZ. zYY. yXX.x. . . . . .栈栈 state valtop若产生式若产生式A XYZ的语义规则是的语义规则是A.a := f (X.x, Y.y, Z.z)，那么归约后：那么归约后：. . . . . .AA.a. . . . . .top6.3 S属性文法

26、的自下而上计算属性文法的自下而上计算台式计算器的语法制导定义改成栈操作代码台式计算器的语法制导定义改成栈操作代码. . . . . .ZZ. zYY. yXX.x. . . . . .栈栈 state valtop产产 生生 式式 语语 义义 规规 则则 L E n print (E.val) E E1 + T E.val :=E1 .val +T.val E T E.val := T.val T T1 * * F T.val := T1.val * * F.val T F T.val := F.val F (E) F.val := E.val F digit F.val := digit.l

27、exval台式计算器的语法制导定义改成栈操作代码台式计算器的语法制导定义改成栈操作代码. . . . . .ZZ. zYY. yXX.x. . . . . .栈栈 state valtop产产 生生 式式 代代 码码 段段 L E n print (E.val) E E1 + T E.val :=E1 .val +T.val E T E.val := T.val T T1 * * F T.val := T1.val * * F.val T F T.val := F.val F (E) F.val := E.val F digit F.val := digit.lexval台式计算器的语法制导定

28、义改成栈操作代码台式计算器的语法制导定义改成栈操作代码. . . . . .ZZ. zYY. yXX.x. . . . . .栈栈 state valtop产产 生生 式式 代代 码码 段段 L E n print (val top 1 ) E E1 + T E.val :=E1 .val +T.val E T E.val := T.val T T1 * * F T.val := T1.val * * F.val T F T.val := F.val F (E) F.val := E.val F digit F.val := digit.lexval台式计算器的语法制导定义改成栈操作代码台式计

29、算器的语法制导定义改成栈操作代码. . . . . .ZZ. zYY. yXX.x. . . . . .栈栈 state valtop产产 生生 式式 代代 码码 段段 L E n print (val top 1 ) E E1 + T val top 2 :=val top 2+val top E T E.val := T.val T T1 * * F T.val := T1.val * * F.val T F T.val := F.val F (E) F.val := E.val F digit F.val := digit.lexval台式计算器的语法制导定义改成栈操作代码台式计算器的语

30、法制导定义改成栈操作代码. . . . . .ZZ. zYY. yXX.x. . . . . .栈栈 state valtop产产 生生 式式 代代 码码 段段 L E n print (val top 1 ) E E1 + T val top 2 :=val top 2+val top E T T T1 * * F T.val := T1.val * * F.val T F T.val := F.val F (E) F.val := E.val F digit F.val := digit.lexval台式计算器的语法制导定义改成栈操作代码台式计算器的语法制导定义改成栈操作代码. . . .

31、 . .ZZ. zYY. yXX.x. . . . . .栈栈 state valtop产产 生生 式式 代代 码码 段段 L E n print (val top 1 ) E E1 + T val top 2 :=val top 2+val top E T T T1 * * F val top 2 := val top 2 val top T F T.val := F.val F (E) F.val := E.val F digit F.val := digit.lexval台式计算器的语法制导定义改成栈操作代码台式计算器的语法制导定义改成栈操作代码. . . . . .ZZ. zYY. y

32、XX.x. . . . . .栈栈 state valtop产产 生生 式式 代代 码码 段段 L E n print (val top 1 ) E E1 + T val top 2 :=val top 2+val top E T T T1 * * F val top 2 := val top 2 val top T F F (E) F.val := E.val F digit F.val := digit.lexval台式计算器的语法制导定义改成栈操作代码台式计算器的语法制导定义改成栈操作代码. . . . . .ZZ. zYY. yXX.x. . . . . .栈栈 state valto

33、p产产 生生 式式 代代 码码 段段 L E n print (val top 1 ) E E1 + T val top 2 :=val top 2+val top E T T T1 * * F val top 2 := val top 2 val top T F F (E) val top 2 :=val top 1 F digit F.val := digit.lexval台式计算器的语法制导定义改成栈操作代码台式计算器的语法制导定义改成栈操作代码. . . . . .ZZ. zYY. yXX.x. . . . . .栈栈 state valtop产产 生生 式式 代代 码码 段段 L E

34、 n print (val top 1 ) E E1 + T val top 2 :=val top 2+val top E T T T1 * * F val top 2 := val top 2 val top T F F (E) val top 2 :=val top 1 F digit 6.4 L属性文法的自上而下计算属性文法的自上而下计算边分析边翻译的方式能否用于继承属性边分析边翻译的方式能否用于继承属性？ 属性的计算次序一定受分析方法所限定的分析树结属性的计算次序一定受分析方法所限定的分析树结点建立次序的限制。点建立次序的限制。6.4 L属性文法的自上而下计算属性文法的自上而下计算边

35、分析边翻译的方式能否用于继承属性边分析边翻译的方式能否用于继承属性？ 属性的计算次序一定受分析方法所限定的分析树结属性的计算次序一定受分析方法所限定的分析树结点建立次序的限制。点建立次序的限制。 分析树的结点是自左向右生成。分析树的结点是自左向右生成。6.4 L属性文法的自上而下计算属性文法的自上而下计算边分析边翻译的方式能否用于继承属性边分析边翻译的方式能否用于继承属性？ 属性的计算次序一定受分析方法所限定的分析树结属性的计算次序一定受分析方法所限定的分析树结点建立次序的限制。点建立次序的限制。 分析树的结点是自左向右生成。分析树的结点是自左向右生成。 如果属性信息是自左向右流动，那么就有可

36、能在分如果属性信息是自左向右流动，那么就有可能在分析的同时完成属性计算。析的同时完成属性计算。6.4 L属性文法的自上而下计算属性文法的自上而下计算6.4.1 L属性定义属性定义 如果每个产生式如果每个产生式A X1 X2 Xn 的每条语义的每条语义规则计算的属性是规则计算的属性是A的综合属性；或者是的综合属性；或者是Xj 的的继承属性，继承属性，1 j n, , 但它仅依赖：但它仅依赖： 该产生式中该产生式中Xj左边符号左边符号X1, X2, , Xj-1的属性；的属性； A的继承属性。的继承属性。6.4 L属性文法的自上而下计算属性文法的自上而下计算6.3.1 L属性定义属性定义 如果每个

37、产生式如果每个产生式A X1 X2 Xn 的每条语义的每条语义规则计算的属性是规则计算的属性是A的综合属性；或者是的综合属性；或者是Xj 的的继承属性，继承属性，1 j n, , 但它仅依赖：但它仅依赖： 该产生式中该产生式中Xj左边符号左边符号X1, X2, , Xj-1的属性；的属性； A的继承属性。的继承属性。6.4 L属性文法的自上而下计算属性文法的自上而下计算变量类型声明的语法制导定义是一个变量类型声明的语法制导定义是一个L属性定义属性定义 产产 生生 式式 语语 义义 规规 则则 D TL L.in := T.type T int T. type := integer T real

38、 T. type := real L L1, id L1.in := L.in; addtype (id.entry, L.in ) L id addtype (id.entry, L.in ) 6.4 L属性文法的自上而下计算属性文法的自上而下计算6.4.2 翻译方案翻译方案例例 把有加和减的中缀表达式翻译成后缀表达式把有加和减的中缀表达式翻译成后缀表达式如果输入是如果输入是8+5 2，则输出是，则输出是8 5 + 2 。 6.4 L属性文法的自上而下计算属性文法的自上而下计算6.4.2 翻译方案翻译方案例例 把有加和减的中缀表达式翻译成后缀表达式把有加和减的中缀表达式翻译成后缀表达式如果输

39、入是如果输入是8+5 2，则输出是，则输出是8 5 + 2 。 E T RR addop T print (addop.lexeme) R1 | T num print (num.val)6.4 L属性文法的自上而下计算属性文法的自上而下计算6.4.2 翻译方案翻译方案例例 把有加和减的中缀表达式翻译成后缀表达式把有加和减的中缀表达式翻译成后缀表达式如果输入是如果输入是8+5 2，则输出是，则输出是8 5 + 2 。 E T RR addop T print (addop.lexeme) R1 | T num print (num.val)E T R num print (8) R numpr

40、int (8)addop Tprint (+)R numprint(8)addop numprint(5)print (+)R print(8)print(5)print(+)addop Tprint( ) R print(8)print(5)print(+)print(2)print( )6.4 L属性文法的自上而下计算属性文法的自上而下计算例例 左递归的消除引起继承属性左递归的消除引起继承属性产产 生生 式式语语 义义 规规 则则 E E1 + T E.nptr := mknode( +, E1.nptr, T.nptr) E T E.nptr := T.nptr T (E) F.nptr

41、 := E.nptr F num F.nptr := mkleaf (num, num.val) 6.4 L属性文法的自上而下计算属性文法的自上而下计算E T R.i := T.nptrRE.nptr := R.sR +TR1.i := mknode ( +, R.i, T.nptr)R1R.s := R1.sR R.s := R.i T (E) T.nptr := E.nptrT numT.nptr := mkleaf ( num, num.val)6.4 L属性文法的自上而下计算属性文法的自上而下计算E T R.i := T.nptr T + T + T + RE.nptr := R.sR

42、 +TR1.i := mknode ( +, R.i, T.nptr)R1R.s := R1.sR R.s := R.i T num T.nptr := mkleaf(num,num.val)6.4 L属性文法的自上而下计算属性文法的自上而下计算6.4.3 预测翻译器的设计预测翻译器的设计把预测分析器的构造方法推广到翻译方案的实现把预测分析器的构造方法推广到翻译方案的实现产生式产生式R +TR | 的分析过程的分析过程procedure R;beginif lookahead = + then beginmatch ( + ); T; Rendelse begin /* * 什么也不做什么也不

43、做 * */endend 6.4 L属性文法的自上而下计算属性文法的自上而下计算function R (in : AST_node ) : AST_node;var nptr , i1, s1, s : AST_node; addoplexeme : char;begin if lookahead = + then begin /* * 产生式产生式 R +T R * */addoplexeme := lexval;match( + );nptr := T(); i1 := mknode(addoplexme, in , nptr) ; s1 := R (i1 ); s : = s1endel

44、se s := in; /* * 产生式产生式 R * */return send; /演示演示DiguixiajiangfanyiASTR : i, sT : nptr+ : addoplexeme6.5 自下而上计算继承属性自下而上计算继承属性6.5.1 删除翻译方案中嵌入的动作删除翻译方案中嵌入的动作E T RR + T print (+)R1 | T print ( )R1 | T num print (num.val)6.5 自下而上计算继承属性自下而上计算继承属性6.4.1 删除翻译方案中嵌入的动作删除翻译方案中嵌入的动作E T RR + T print (+)R1 | T pri

45、nt ( )R1 | T num print (num.val)在文法中加入产生在文法中加入产生 的的标记非终结符标记非终结符，让每个嵌入动，让每个嵌入动作由不同标记非终结符作由不同标记非终结符M代表，并把该动作放在产代表，并把该动作放在产生式生式M 的右端。的右端。6.5 自下而上计算继承属性自下而上计算继承属性6.4.1 删除翻译方案中嵌入的动作删除翻译方案中嵌入的动作E T RR + T print (+)R1 | T print ( )R1 | T num print (num.val)在文法中加入产生在文法中加入产生 的的标记非终结符标记非终结符，让每个嵌入动，让每个嵌入动作由不同标

46、记非终结符作由不同标记非终结符M代表，并把该动作放在产代表，并把该动作放在产生式生式M 的右端。的右端。E T RR + T M R1 | T N R1 | T num print (num.val)M print (+)N print ( ) 6.5 自下而上计算继承属性自下而上计算继承属性6.4.2 分析栈上的继承属性分析栈上的继承属性例例 int p, q, r D T L.in := T.type LT int T. type := integerT real T. type := realL L1.in := L.in L1, id addtype (id.entry, L.in )

47、L id addtype (id.entry, L.in )6.5 自下而上计算继承属性自下而上计算继承属性6.4.2 分析栈上的继承属性分析栈上的继承属性属性位置能预测属性位置能预测演示演示Table610例例 int p, q, r D T L.in := T.type LT int T. type := integerT real T. type := realL L1.in := L.in L1, id addtype (id.entry, L.in )L id addtype (id.entry, L.in )DTLL,rL,qpint type ininin6.5 自下而上计算继承属性自下而上计算继承属性DTLL,rL,qpint type ininin产产 生生 式式 代代 码码 段段 D TL T int valtop := integer T real valtop := real L L1, id addtype(valtop, valtop 3) L id addtype(valtop