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属性定义 五、翻译方案 一、语法制导定义 在一个语法制导定义中，对应于每一个文法产生式A??，都有与之相联系的一组语义规则，其形式为：b=?(c1,c2,…,ck) 这里，?是一个函数，而且或者 (1) b是A的一个综合属性，且c1、c2、…、ck是产生式右部文法符号的属性，或者 (2) b是产生式右部某个文法符号的一个继承属性，且c1、c2、…、ck是A或产生式右部文法符号的属性。 属性b依赖于属性c1、c2、…、ck。 语义规则函数都不具有副作用的语法制导定义称 为属性文法 语义规则 一般情况： 语义规则函数可写成表达式的形式。 某些情况下： 一个语义规则的唯一目的就是产生某个副作用，如打印一个值、向符号表中插入一条记录等； 这样的语义规则通常写成过程调用或程序段。 看成是相应产生式左部非终结符号的虚拟综合属性。 虚属性和符号‘=’都没有表示出来。 简单算术表达式求值的语法制导定义 综合属性val与每一个非终结符号E、T、F相联系 表示相应非终结符号所代表的子表达式的整数值 L?n的语义规则是一个过程，打印出由E产生的算术表达式的值，可以认为是非终结符号L的一个虚拟综合属性。 综合属性 分析树中，如果一个结点的某一属性由其子结点的属性确定，则这种属性为该结点的综合属性。 如果一个语法制导定义仅仅使用综合属性，则称这种语法制导定义为S-属性定义。 对于S-属性定义，通常采用自底向上的方法对其分析树加注释，即从树叶到树根，按照语义规则计算每个结点的属性值。 简单台式计算机的语法制导定义是S-属性定义 3*5+4n的分析树加注释的过程 属性值的计算可以在语法分析过程中进行。 继承属性 分析树中，一个结点的继承属性值由该结点的父结点和/或它的兄弟结点的属性值决定。 可用继承属性表示程序设计语言结构中上下文之间的依赖关系 可以跟踪一个标识符的类型 可以跟踪一个标识符，了解它是出现在赋值号的右边还是左边，以确定是需要该标识符的值还是地址。 一个带有继承属性L.in的语法制导定义 D产生的声明包含了类型关键字int或real，后跟一个标识符表。 T有综合属性type，其值由声明中的关键字确定。 L的继承属性L.in，表示从父结点或兄弟结点继承下来的类型信息。 语句real id1,id2,id3的分析树加注释 L产生式的语义规则使用继承属性L.in把类型信息在分析树中向下传递； 并通过调用过程addtype，把类型信息填入标识符在符号表中相应的表项中。 二、依赖图 分析树中，结点的继承属性和综合属性之间的相互依赖关系可以由依赖图表示。 为每个包含过程调用的语义规则引入一个虚拟综合属性b，以便把语义规则统一为b=?(c1,c2,…,ck)的形式。 依赖图中： 为每个属性设置一个结点 如果属性b依赖于c，那么从属性c的结点有一条有向边连到属性b的结点。 算法5.1 构造依赖图 输入：一棵分析树 输出：一张依赖图 方法： for (分析树中每一个结点n) for (结点n处的文法符号的每一个属性a) 为a在依赖图中建立一个结点; for (分析树中每一个结点n) for (结点n处所用产生式对应的每一个 语义规则 b=?(c1,c2,…,ck)) for (i=1;i=k;i++) 从ci结点到b结点构造一条有向边;