编译原理课程第13讲.pptVIP

中国科大 温故知新 每个文法产生式A ? ?有一组形式为b := f(c1, c2, …, ck )的语义规则，其中f 是函数，b和c1, c2, …, ck 是该产生式文法符号的属性 综合属性：如果b是A的属性，c1 , c2 , …, ck 是产生式右部文法符号的属性或A的其它属性 继承属性：如果b是产生式右部某个文法符号X的属性。 温故知新 属性的理解 非终结符??分析过程（函数） 综合属性??过程的返回值 继承属性??过程的参数 温故知新 属性理解—例子 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 语法树 语法树是分析树的浓缩表示：算符和关键字是作为内部结点。 语法制导翻译可以基于分析树，也可以基于语法树 语法树的例子： 建立算符表达式的语法树 mknode (op,left,right) 建立一个运算符号结点，标号是op，两个域left和right分别指向左子树和右子树。 mkleaf (id,entry) 建立一个标识符结点，标号为id，一个域entry指向标识符在符号表中的入口。 mkleaf (num,val) 建立一个数结点，标号为num，一个域val用于存放数的值。 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的语法树的构造 建立抽象语法树的语义规则 产 生 式 语 义 规 则 E→E1+T E.nptr := mknode( ‘+’, E1.nptr, T.nptr ) E→E1-T E.nptr := mknode( ‘-’, E1.nptr, T.nptr ) E→T E.nptr := T.nptr T→ (E) T.nptr := E.nptr T→id T.nptr := mknode( id, id.entry ) T→num T.nptr := mknode( num, num.val ) a－4＋c的语法树 4.2 S属性定义的自下而上计算 S-属性文法：只含有综合属性 综合属性可以在分析输入符号串的同时由自下而上的分析器来计算。 分析器可以保存与栈中文法符号有关的综合属性值，每当进行归约时，新的属性值就由栈中正在归约的产生式右边符号的属性值来计算。 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 S属性定义的自下而上计算 台式计算器的语法制导定义改成栈操作代码 4.2 S属性定义的自下而上计算 台式计算器的语法制导定义改成栈操作代码 4.2 S属性定义的自下而上计算 台式计算器的语法制导定义改成栈操作代码 4.2 S属性定义的自下而上计算 台式计算器的语法制导定义改成栈