(ch05--语法制导翻译技术.pptVIP

第5章 语法制导翻译技术 知识点：语法制导定义、翻译方案 S属性、L属性 S-属性定义的翻译 L-属性定义的翻译 语法制导翻译技术 语义分析涉及到语言的语义 形式语义学的研究开始于20世纪60年代初 形式语义学可以分为三类 操作语义学：模拟数据加工过程中计算机系统的操作 指称语义学：描述数据加工的结果 公理语义学：用公理化的方法描述程序对数据的加工 语法制导翻译技术 多数编译程序普遍采用的一种技术 比较接近形式化 语法制导翻译技术 5.1 语法制导定义及翻译方案 5.2 S-属性定义的自底向上翻译 5.3 L-属性定义的自顶向下翻译 5.4 L-属性定义的自底向上翻译 5.5 非L属性定义的翻译 小 结 5.1 语法制导定义及翻译方案 对上下文无关文法的推广 每个文法符号都可以有一个属性集，可以包括两类属性：综合属性和继承属性。 分析树中一个结点的综合属性是从其子结点的属性值计算出来的 继承属性是从其兄弟结点和/或父结点的属性值计算出来的 分析树中某个结点的属性值是由与在这个结点上所用产生式相应的语义规则决定的。 和产生式相联系的语义规则建立了属性之间的关系，这些关系可用有向图（即：依赖图）来表示。 内容安排 一、语法制导定义 二、依赖图 三、计算次序 四、S属性定义和L属性定义 五、翻译方案 一、语