第16讲-语义分析-II.pptVIP

中国科大 编译原理和技术 大连理工软件学院 胡 彦 huyan.ssdut@ 本讲纲要 综合属性 继承属性 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 语法制导的定义 属性计算次序 1、构造输入的分析树， 2、构造属性依赖图， 3、对结点进行拓扑排序 4、按拓扑排序的次序计算属性。 温故知新 属性的理解 非终结符??分析过程（函数） 综合属性??过程的返回值 继承属性??过程的参数 温故知新 属性理解—例子 int id, id, id 温故知新 属性理解—例子 void D() { T_temp = T(); L_in = T_temp; L(L_in); return ; } int T() { switch lookahead { case INT: return INTEGER; case REAL: return REAL; default: error; } } 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.3 S属性的自下而上计算（一般方法） 将LR分析器增加一个域来保存综合属性值。 4.2 S属性定义的自下而上计算 4.2.3 S属性的自下而上计算 将LR分析器增加一个域来保存综合属性值。 4.2 S属性定义的自下而上计算 台式计算器的语法制导定义改成栈操作代码 4.2 S属性定义的自下而上计算 台式计算器的语法制导定义改成栈操作代码 4.2 S属性定义的自下而上计算 台式计算器的语法制导定义改成栈操作代码 4.2 S属性定义的自下而上计算 台式计算器的语法制导定义改成栈操作代码 4.2