编译原理第七章课件(精品).pptVIP

第七章语法制导翻译和中间代码生成;概述 语义处理;;属性文法和语法制导翻译 ;属性文法;;在一个属性文法中，对应于每个产生式A??都有一套与之相关联的语义规则，每条规则的形式为b:=f(c1,c2…ck) 这里，f是一个函数，b和c1,c2…ck是该产生式文法符号的属性。 （1）如果b是A的一个属性，并且c1,c2…ck是产生式右边文法符号的属性或A的其他属性，则称b是A的综合属性; （2）如果b是产生式右边某个文法符号X的一个属性，并且c1,c2…ck是A或产生式右边任何文法符号的属性，则称b是文法符号X的继承属性。 在两种情况下，我们都说属性b依赖于属性c1,c2…ck。 简单地说，综合属性用于“自下而上”传递信息，而继承属性用于“自上而下”传递信息。;; ;设表达式为3＊5+4，则语义动作是什么？;设表达式为3＊5+4，则语义动作打印数值19;继承属性; ;;;依赖图;;;;;; 属性计算方法; ;用一遍扫描的编译程序模型来理解语法制导的翻译方法： 为文法中每个产生式配上一组语义规则，并且在语法分析的同时执行这些语义规则。在自上而下的语法分析中，若一个产生式匹配输入串成功（对非终结符推导一次），或者，在自下而上分析中，当一个产生式被用于进行归约时，此产生式相应的语义规则就被计算，完成相关的语义分析和代码产生等工作。在这种情况下，语法分析工作和语义规则的计算是穿插进行的。;S－属性文法的自下而上计算;产生式 语义规则 ０）Ｌ→Ｅ ｐｒｉｎｔ（Ｅ.ｖａｌ） １）Ｅ→Ｅ1＋Ｔ Ｅ.ｖａｌ∶＝Ｅ1.ｖａｌ＋Ｔ.ｖａｌ ２）Ｅ→Ｔ Ｅ.ｖａｌ∶＝Ｔ.ｖａl ３）Ｔ→Ｔ1*Ｆ Ｔ.ｖａｌ∶＝Ｔ1.ｖａｌ×Ｆ.ｖ ａｌ ４）Ｔ→F Ｔ.ｖａｌ∶＝F.ｖａｌ ５）Ｆ→（Ｅ） Ｆ.ｖａｌ∶＝Ｅ.ｖａｌ ６）Ｆ→ｄiｇiｔ Ｆ.ｖａｌ:＝ｄｉｇｉｔ.ｌｅｘｖａｌ LR分析器可以改造为一个翻译器，在对输入串进行语法分析的同时对属性进行计算。 LR分析器增加语义栈 ;２＋３*５的分析和计值过程;L－属性文法和自顶向下翻译;例（中缀表达式翻译成相应的后缀表达式）E→TRR→addop T {print(addop. Lexeme)} R1|εT→num {print(num.val)};输入串9－5 + 2的语法树，每个语义动作都作为相应产生式左部符号的结点的儿子，按深度优先次序执行图中的动作后，打印输出95－2+。;例题与习题解答;;;;语义分析和中间代码的产生属性文法和语法制导翻译方法和技术应用于语义分析中;;;例 : A + B * ( C - D ) + E / ( C - D ) ^N 分别用逆波兰、三元式、四元式表示。;例 : A + B * ( C - D ) + E / ( C - D ) ^N;例： A:=B+C*D/E F:=C*D;三地址语句中可以带有符号标号（代表存放中间代码的数组中三地址代码语句的下标） P170列出本书所使用的三地址语句的种类。; 图表示法 抽象语法树，有向非循环图 可以表示源程序的自然层次结构，例如： a:=b * - c+b * -c;assign;assign;7.2 说明语句 ◆说明语句的翻译：对每个局部名字，在符 号表中建立相应的表项，填写有关的信息 如类型、嵌套深度、相对地址等。 ◆相对地址：相对静态数据区基址或活动记 录中局部数据区基址的一个偏移值。 7.2.1 过程中的说明语句 ◆一个过程中的所有说明语句作为一个类集 来处理。用一个全程变量Offset来记录下 一个数椐在活动记录中的位置。;P→ ｛offset：＝0} D D→D; D D→id ：T ｛enter（id.name，T.type，offset）； offset:=offset＋T.width｝ T→integer ｛T.type ：=integer; T.width：= 4｝ T→real ｛T.type：＝real; T.width ：＝8} T→array[num]of T1 ｛T.type:＝array（num.val, T1.type ）； T.width： ＝num.val *T1.width｝ T→ ↑T1 ｛T.type:＝pointer（T1．type）； T.width