编译原理（第2版）-陈意云-chapter4.pptVIP

中国科大 第四章 语法制导的翻译 本章内容 介绍一种形式化的语义描述方法：语法制导的翻译，包括它的两种具体形式：语法制导的定义和翻译方案 介绍语法制导翻译的实现方法 4.1 语法制导的定义 例 简单台式计算器的语法制导定义 4.1 语法制导的定义 4.1.1 语法制导定义的形式 基础文法 每个文法符号有一组属性 每个文法产生式A ? ?有一组形式为b := f(c1, c2, …, ck )的语义规则，其中f 是函数，b和c1, c2, …, ck 是该产生式文法符号的属性 综合属性：如果b是A的属性，c1 , c2 , …, ck 是产生式右部文法符号的属性或A的其它属性 继承属性：如果b是产生式右部某个文法符号X的属性 4.1 语法制导的定义 4.1.2 综合属性 S属性定义：仅仅使用综合属性的语法制导定义 4.1 语法制导的定义 8+5*2 n的注释分析树 4.1 语法制导的定义 分析树各结点属性的计算可以自下而上地完成 4.1 语法制导的定义 分析树各结点属性的计算可以自下而上地完成 4.1 语法制导的定义 分析树各结点属性的计算可以自下而上地完成 4.1 语法制导的定义 分析树各结点属性的计算可以自下而上地完成 4.1 语法制导的定义 分析树各结点属性的计算可以自下而上地完成 4.1 语法制导的定义 分析树各结点属性的计算可以自下而上地完成 4.1 语法制导的定义 分析树各结点属性的计算可以自下而上地完成 4.1 语法制导的定义 分析树各结点属性的计算可以自下而上地完成 4.1 语法制导的定义 分析树各结点属性的计算可以自下而上地完成 4.1 语法制导的定义 分析树各结点属性的计算可以自下而上地完成 4.1 语法制导的定义 分析树各结点属性的计算可以自下而上地完成 4.1 语法制导的定义 注释分析树:结点的属性值都标注出来的分析树 4.1 语法制导的定义 4.1.3 继承属性 int id, id, id 4.1 语法制导的定义 int id1, id2, id3的注释分析树 4.1 语法制导的定义 4.1.4 属性依赖图 int id1, id2, id3的分析树的依赖图 D ? TL L.in := T.type 4.1 语法制导的定义 4.1.4 属性依赖图 int id1, id2, id3的分析树的依赖图 L? L1, id L1.in := L.in; addtype (id.entry, L.in ) 4.1 语法制导的定义 4.1.5 属性计算次序 拓扑排序：结点的一种排序，使得边只会从该次序中先出现的结点到后出现的结点 例：1，2，3，4，5，6，7，8，9，10 4.1 语法制导的定义 属性计算次序 构造输入的分析树 4.1 语法制导的定义 属性计算次序 构造输入的分析树，构造属性依赖图 4.1 语法制导的定义 属性计算次序 构造输入的分析树，构造属性依赖图，对结点进行拓扑排序 4.1 语法制导的定义 属性计算次序 构造输入的分析树，构造属性依赖图，对结点进行拓扑排序，按拓扑排序的次序计算属性 4.1 语法制导的定义 语义规则的计算方法 分析树方法：前面介绍的方法 4.1 语法制导的定义 语义规则的计算方法 分析树方法：前面介绍的方法 基于规则的方法：静态确定语义规则的计算次序 4.1 语法制导的定义 语义规则的计算方法 分析树方法：前面介绍的方法 基于规则的方法：静态确定语义规则的计算次序 忽略规则的方法：事先确定属性的计算策略（如边分析边计算），那么语义规则的设计必须符合所选分析方法的限制 4.2 S属性定义的自下而上计算 4.2.1 语法树 语法树是分析树的浓缩表示：算符和关键字是作为内部结点 语法制导翻译可以基于分析树，也可以基于语法树 语法树的例子： 4.2 S属性定义的自下而上计算 4.2.2 构造语法树的语法制导定义 4.2 S属性定义的自下而上计算 a+5*b的语法树的构造 4.2 S属性定义的自下而上计算 a+5*b的语法树的构造 4.2 S属性定义的自下而上计算 a+5*b的语法树的构造 4.2 S属性定义的自下而上计算 a+5*b的语法树的构造 4.2 S属性定义的自下而上计算 a+5*b的语法树的构造 4.2 S属性定义的自下而上计算 a+5*b的语法树的构造 4.2 S属性定义的自下而上计算 a+5*b的语法树的构造 4.2 S属性定义的自下而上计算 a+5*b的语法树的构造 4.2 S属性定义的自下而上计算 a+5*b的语法树的构造 4.2 S属性定义的自下而上计算 4.2