编纂原则第8章 - 语法引导翻译.pptVIP

第8章 语法制导翻译和中间代码生成;语义分析基础;语义分析基础;语义分析基础;源语言程序 ;源语言程序 ;语义分析基础;主要内容;语义形式化;语义形式化;语法制导翻译;属性文法;属性文法;属性文法;属性文法;属性文法;属性文法;属性文法;属性文法;属性文法;综合属性;综合属性;综合属性;综合属性;综合属性;继承属性;继承属性;属性文法;语法制导翻译;语法制导翻译;计算语义规则;属性依赖图;属性依赖图;属性依赖图;属性依赖图;属性依赖图;属性依赖图;属性依赖图;拓扑排序 一个有向非循环图的拓扑排序是图中 结点的任何顺序m1，m2，…，mk，使得 边必须是从序列中前面的结点指向后面的 结点，也就是说，如果mi→mj是mi到mj的 一条边,那么在 序列中mi必须出现在mj的 前面。 若依赖图中无环，则存在一个拓扑排序，它就是属性值的计算顺序。;计算语义规则;计算语义规则;计算语义规则;语法制导翻译;S-属性文法和自下而上翻译;S-属性文法和自下而上翻译;S-属性文法和自下而上翻译;ＬＲ分析器模型;S-属性文法和自下而上翻译; ２＋３*５的分析和计值过程;例 3+5*8的语法制导翻译。 ;语法制导翻译;L-属性文法;L-属性文法;L－属性文法;翻译模式（Translation schemes） 适合语法制导翻译的另一种描述形式。 翻译模式给出了使用语义规则进行计算的次序，可把某些实现细节表示出来。 在翻译模式中，和文法符号相关的属性和语义规则（这里我们也称语义动作），用花括号｛｝括起来，插入到产生式右部的合适位置上。;中缀、前缀、后缀表达式;L-属性文法;2+3-5的语法树;;L－属性文法和自顶向下翻译;（消除左递归）2+3-5的语法树;说明语义动作的语法树;补充：左递归翻译模式的转换;补充：左递归翻译模式的转换; A→A1Y {A.a: = g(A1。a, Y.y)} A→X {A.a: = f(X.x)} ;A→X{R.i: = f(X.x)} R→Y {R1.i: = g((R.i),Y.y)}  R {A.a: =R.s} R1{R.s: = R1.s} ;L-属性文法;自下而上的分析中实现L-属性文法;一、从翻译模式中去掉嵌入在产生式中间的动作转换方法:引入新的非终结符N和产生式N→ ε,把嵌入在产生式中间的动作用非终结符N代替,并把这个动作放在产生???后面. ; 二、用综合属性代替继承属性; 二、用综合属性代替继承属性