编译原理ppt4_1.pptVIP

第四章 语法制导的翻译 汪志华 edgar_wang@ 把属性附加到代表语法结构的文法符号上 属性的值是用与文法产生式相关联的“语义规则”来计算 把语义规则与产生式联系 语法制导定义（Syntax-Directed Definitions） 语法制导定义是关于语言翻译的高层次规格说明，它隐蔽了许多具体实现细节，使用户不必显示地说明翻译发生的顺序 翻译方案（Translation Scheme） 翻译方案指明了语义规则的计算时机，以便说明某些实现细节 4.1 语法制导的定义 语法制导的定义是对上下文无关文法的推广，其中每个文法符号都有一个相关的属性集。 属性分为综合属性(synthesized attribute)和继承属性(inherited attribute) 在分析树中，一个节点的综合属性值是从其子节点的属性值计算出来的 一个节点的继承属性值是由该节点兄弟节点和父节点的属性值计算出来的。 语义规则建立了属性间的依赖关系，它们可以用图表示（依赖图） 从依赖图中可以得到语义规则的计算顺序 4.1.1 语法制导定义的形式 在一个语法制导定义中，对于每个产生式A→?都有与之相关联的一套语义规则，规则形式为 b：= f（c1，c2，…，ck）， f是一个函数，而且 1．b是A的一个综合属性并且c1，c2，…，ck是产生式右边文法符号的属性；或者 2．b是?中的符号的一个继承属性并且c1，c2，…，ck是A或?中的任何文法符号的属性。 在两种情况下，都说属性b依赖于属性c1，c2，…，ck。 例: 台式计算器程序的语法制导定义 注： 终结符只有综合属性，它们由词法分析器提供 非终结符既可有综合属性也可有继承属性，一般文法开始符号不具有继承属性，除非它的继承属性作为属性计算前的初始值 4.1.2 综合属性 S-属性定义：仅仅使用综合属性的属性定义 对于S-属性定义通常使用自下而上的分析方法，即在用哪个产生式进行归约后，就执行哪个产生式的语义规则计算属性的值，从叶节点到根节点进行计算。 每个结点的属性值都标注出来的分析树称为注释分析树(Annotated Parse Tree) 计算各结点属性值的过程称为分析树的注释或修饰 例：考虑8+5*2n的计算过程 4.1.3 继承属性 继承属性值是由此节点的父节点和／或兄弟节点的某些属性值来决定的。 用继承属性来表示程序设计语言上下文结构的依赖性 例：标识符定义的属性文法 例：变量定义语句 real a, b, c 4.1.4 属性依赖图 如果分析树中某个节点的属性b依赖于属性c，那么在该节点处b的语义规则必须在c的语义规则之后计算。 分析树中各节点的继承属性和综合属性间的依赖关系可以用有向图来描述，这种有向图称为依赖图 为每个包含过程调用的语义规则引入一个虚综合属性b，以便把每条语义规则都变成b:=f(c1，c2，…，ck)的形式 如果属性b依赖于属性c，则从属性c的节点画一条有向边指向属性b的节点 例： E ?E1+T E.val := E1.val+T.val 依赖图的构造算法 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构造一条有向边； 例：标识符定义的属性文法 4.1.5 计算顺序 若依赖图中无环，则存在一个拓扑排序，它就是属性值的计算顺序 上图中的属性计算次序 a4:=real; a5:=a4; addtype(id3?entry,a5); a7:=a5; addtype(id2?entry,a7); a9:=a7; addtype(id1?entry,a9); 基于规则的方法：静态确定语义规则的计算次序 忽略规则的方法：事先确定属性的计算策略（如边分析边计算），那么语义规则的设计必须符合所选分析方法的限制 * * 输入串 分析树 依赖图 语义规则计算次序 语法制导翻译过程 注：实际中，翻译通常不按照上面的步骤进行，一般都是在语法分析的过程中，识别出一个语法结构就对它的语义进行分析和翻译 产生式 语义规则 L?En print(E.val) E ?E1+T