北航《编译技术》-奥鹏教育.docVIP

北航《编译技术》第四章 语法制导的翻译 课堂笔记 主要知识点掌握程度 本章介绍了介绍一种形式化的语义描述方法：语法制导的翻译，包括它的两种具体形式,语法制导的定义和翻译方案，并且进一步介绍了语法制导翻译的实现方法。 知识点整理 语法制导定义的形式 基础文法 每个文法符号有一组属性 每个文法产生式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属性定义的自下而上计算 语法树 语法树是分析树的浓缩表示：算符和关键字是作为内部结点。