第5章语法制导翻译,哈工大王宏志.pptVIP

语法制导翻译;？？为什么进行词法和语法分析 ？？用A→α进行归约表达的是什么意思 看：operand+term E→E1+T E1的值+T的值的结果作为E的值——即：取来E1的值和T的值做加法运算，结果作为E的值 E.val=E1.val+T.val;第五章 语法制导翻译;5.1 语法制导翻译概述;1. 语义分析的任务;2. 代码结构;3. 典型处理方法;3. 典型处理方法;语义翻译的流程;◆语法制导定义是对上下文无关文法的推广 每个文法符号都有一个相关的属性集。 综合属性:通过分析树中其子节点的属性值计算出来； 继承属性:由该节点的兄弟节点及父节点的属性值计算出来； ◆依赖图 语义规则建立了属性之间的依赖关系，这些关系可以用图来表示，这样的图称为依赖图。;在一个语法制导定义中，?A→??P都有与 之相关联的一套语义规则，规则形式为 b：= f（c1，c2，…，ck）， f是一个函数，而且或者 1．b是A的一个综合属性并且c1，c2，…，ck 是?中的符号的属性，或者 2．b是?中的符号的一个继承属性并且c1， c2，…，ck是A或?中的任何文法符号的属性。 在两种情况下，都说属性b依赖于属性c1，c2，…，ck。;例5.1 台式计算器程序的语法制导定义（图5－2); S-属性定义 仅仅使用综合属性的语法制导定义。 结点属性值的计算正好和自底向上分析建立分析树结点同步进行。 例 5 .2 输入：3*5+4n;digit?lexval:=3; ◆综合属性值的计算方法 对于s-属性定义，通常使用自底向上的分析方法，在建立每一个结点处使用语义规则来计算综合属性值，即在用哪个产生式进行归约后，就执行那个产生式的s-属性定义计算属性的值，从叶结点到根结点进行计算。 5.1.3 继承属性 继承属性值是由此结点的父结点和／或兄弟结点的某些属性值来决定的。 例5 . 3 变量说明的属性定义 int a,b,c; 表5.2 带有继承属性L.in的语法制导定义;T;依赖图的构造方法 for 分析树中的每个结点n do for 与结点n对应的文法符号的每个属性a do 在依赖图中为a构造一个结点； for 分析树的每个结点n do for 结点n所用产生式对应的每条 语义规则 b:＝f（c1，c2，…，ck ) do for i:=1 to k do 从结点ci到结点b构造一条有向边；;例5-5 图5－5分析树的依赖图;◆拓扑排序 一个无环有向图的拓扑排序是图中 结点的任何顺序m1，m2，…，mk，使得 边必须是从序列中前面的结点指向后面的 结点，也就是说，如果mi→mj是mi到mj的 一条边,那么在 序列中mi必须出现在mj的 前面。 若依赖图中无环，则存在一个拓扑排序，它就是属性值的计算顺序。; 1， 2， 3，4，5，6，7，8，9，10 a4:=real; a5:=a4; addtype(id3?entry,a5); a7:=a5; addtype(id2?entry,a7); a9:=a7; addtype(id1?entry,a9);;分析树法: 输入串→分析树→依赖图→计算次序 基于规则的方法： 在构造编译器时，用手工或专门的工具来分析语义规则,确定属性值的计算顺序。 忽略语义规则的方法：在分析过程中翻译，那么计算顺序由分析方法来确定而表面上与语义规则无关。这种方法限制了能被实现的语法制导定义的种类。 后两种方法不必显式构造依赖图，因此时空效率更高。; ◆抽象语法（abstract syntax） 从具体语法中抽象出语言结构的本质性的东西，而不考虑语言的具体符号表示，从而可简化语义的形式描述。 在不同的语言中赋值语句有不同的写法： ??? ?????? x=y;? x:=y;? y→x ???等等，可以用抽象形式 ??? ??????assignment(variable,expression) 把前面各种具体形式统一起来。; 表示程序层次结构的树，它把分析树中对语义无关紧要的成分去掉，是分析树的抽象形式 ，也称作语法结构树，或结构树。