第6,7章 语义的的分析及中间代码生成.ppt

属性文法 属性文法定义的形式 基础文法 每个文法符号有一组属性 每个文法产生式A ? ?有一组形式为b := f(c1, c2, …, ck )的语义规则，其中f 是函数，b和c1, c2, …, ck 是该产生式文法符号的属性 b := f(c1, c2, …, ck ) 综合属性：如果b是A的属性，c1 , c2 , …, ck 是产生式右部文法符号的属性或A的其它属性。 继承属性：如果b是产生式右部某个文法符号X的属性。 6.1 属性文法 6.1.2 综合属性（synthesized attribute） S属性定义：仅仅使用综合属性的语法制导定义 6.1 属性文法 8+5*2 n的注释分析树 6.1 属性文法 分析树各结点属性的计算可以自下而上地完成 6.1 属性文法 分析树各结点属性的计算可以自下而上地完成 6.1 属性文法 分析树各结点属性的计算可以自下而上地完成 6.1 属性文法 分析树各结点属性的计算可以自下而上地完成 6.1 属性文法 分析树各结点属性的计算可以自下而上地完成 6.1 属性文法 分析树各结点属性的计算可以自下而上地完成 6.1 属性文法 分析树各结点属性的计算可以自下而上地完成 6.1 属性文法 分析树各结点属性的计算可以自下而上地完成 6.1 属性文法 分析树各结点属性的计算可以自下而上地完成 6.1 属性文法 分析树各结点属性的计算可以自下而上地完成 6.1 属性文法 分析树各结点属性的计算可以自下而上地完成 6.1 属性文法 注释分析树:结点的属性值都标注出来的分析树 6.1 属性文法 6.1.3 继承属性(inherited attribute) int id, id, id 6.1 属性文法 int id1, id2, id3的注释分析树 6.1 属性文法 6.1.4 属性依赖图 int id1, id2, id3的分析树的依赖图 D ? TL L.in := T.type 6.1 属性文法 6.1.4 属性依赖图 int id1, id2, id3的分析树的依赖图 L? L1, id L1.in := L.in; addtype (id.entry, L.in ) 6.1 属性文法 6.1.5 属性计算次序 拓扑排序：结点的一种排序，使得边只会从该次序中先出现的结点到后出现的结点。 例：1，2，3，4，5，6，7，8，9，10 6.1 属性文法 属性计算次序 构造输入的分析树 6.1 属性文法 属性计算次序 构造输入的分析树，构造属性依赖图 6.1 属性文法 属性计算次序 构造输入的分析树，构造属性依赖图，对结点进行拓扑排序 6.1 属性文法 属性计算次序 构造输入的分析树，构造属性依赖图，对结点进行拓扑排序，按拓扑排序的次序计算属性。 6.1 属性文法 语义规则的计算方法 分析树方法：前面介绍的方法。 6.1 属性文法 语义规则的计算方法 分析树方法：前面介绍的方法。 基于规则的方法：静态确定语义规则的计算次序。 6.1 属性文法 语义规则的计算方法 分析树方法：前面介绍的方法。 基于规则的方法：静态确定语义规则的计算次序。 忽略规则的方法：事先确定属性的计算策略（如边分析边计算），那么语义规则的设计必须符合所选分析方法的限制。 6.2 S属性文法的自下而上计算 6.2.1 语法树 语法树是分析树的浓缩表示：算符和关键字是作为内部结点。 语法制导翻译可以基于分析树，也可以基于语法树 语法树的例子： 6.2 S属性文法的自下而上计算 6.2.2 构造语法树的语法制导定义 6.2 S属性文法的自下而上计算 a+5*b的语法树的构造 6.2 S属性文法的自下而上计算 a+5*b的语法树的构造 6.2 S属性文法的自下而上计算 a+5*b的语法树的构造 6.2 S属性文法的自下而上计算 a+5*b的语法树的构造 6.2 S属性文法的自下而上计算 a+5*b的语法树的构造 6.2 S属性文法的自下而上计算 a+5*b的语法树的构造 6.2 S属性文法的自下而上计算 a+5*b的语法树的构造 6.2 S属性文法的自下而上计算 a+5*b的语法树的构造 6.2 S属性文法的自下而上计算 a+5*b的语法树的构造 S属性文法的自下而上计算 S属性的自下而上计算 将LR分析器增加一个域来保存综合属性值。 S属性文法的自下而上计算 S属性的自下而上计算 将LR分析器增加一个域来保存综合属性值。 S属性文法的自下而上计算 S属性的自下而上计算 将LR分析器增加一个域来保存综合属性值。 6.2 S属性