ppt编译原理6章6

《ppt编译原理6章6》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第6章属性文法和语法制导翻译一、基本概念1.编译系统的两类翻译：非语法制导的翻译语法制导的翻译：以语法分析为主导的语义处理－－在源程序的语法分析中嵌入语义处理。即，利用源程序的文法框架生成中间代码或目标代码。Tips：语义学：semanticslexemelexiconsemantic例（1）递归子程序法的代码生成（2）利用优先矩阵的语法分析直接生成目标代码（3）利用逆波兰算法进行语法、语义分析（1）语法分析－语义分析：直接生成目标代码优点：编译相对简单，时间效率高缺点：空间代价较高（2）语法分析－－中间代

2、码－优化－目标代码二、两种编译流程从本章开始，我们介绍有关语义分析及翻译的问题。其处理的方法主要是属性文法和语法制导翻译方法。本章中，我们将首先介绍属性文法的基本概念，然后介绍基于属性文法的处理方法，讨论如何自上而下分析和自下而上分析中实现属性计算。本章重点掌握:6.1属性文法6.2基于属性文法的处理方法6.3S—属性文法的自下而上计算6.4L—属性文法和自顶向下翻译。6.1属性文法属性文法是在上下文无关文法的基础上为每个文法符号（终结符或非终结符）配备若干个相关的“值”（称为属性）。这些属性代表与文法符号

3、相关的信息，例如它的类型、值、代码序列、符号表内容等等。属性和变量一样，可以进行计算和传递。属性一般分为两类：综合属性和继承属性。简单的说，综合属性用于“自下而上”传递信息，而继承属性用于“自上而下”传递信息。属性加工的过程即是语义处理的过程，对于文法的每一个产生式都配备了一组属性的计算规则，则称为语义规则。在一个属性文法中，对应于每个产生式A都有一套与之相关联的语义规则，每条语义规则的形式为：b:=f(c1,c2,…,ck)这里f是一个函数，而且或者（1）b是A的一个综合属性并且c1,c2,…ck

4、是产生式右边文法符号的属性；或者（2）b是产生式右边某个文法符号的一个继承属性并且c1,c2,…ck是A或产生式右边任何文法符号的属性在这两种情况下，我们都说属性b依赖于属性c1,c2…,ck.要特别强掉的是：（1）终结符只有综合属性，它由词法分析器提供；（2）非终结符既可以有综合属性也可以有继承属性，文法开始符号的所有继承属性作为属性计算前的初始值。一般来讲，对出现在产生式右边的继承属性和出现在产生式左边的综合属性都必须提供一个计算规则，属性计算规则中只能使用相应产生式的文法符号的属性，这有利于

5、产生式范围内“封装”属性的依赖性。然而，出现在产生式左边的继承属性和出现在产生式右边的综合属性不由所给的产生式的属性计算规则进行计算，它们由其它产生式的属性规则计算,由属性计算器的参数提供语义规则所描述的工作可以包括属性计算、静态语义检查、符号表操作、代码生成等。语义规则可能产生副作用（如产生代码），也可能不是变元的严格函数（如某个规则给出可用的下一个数据单元的地址）。这样的语义规则通常写成过程调用，或过程段。综合属性：在语法树中，一个结点的综合属性的值由其子结点的属性值确定。因此，通常使用自底向上的方法在

6、每一个结点处使用语义规则计算综合属性的值。仅仅使用综合属性的属性文法称S—属性文法。继承属性：在语法树中，一个结点的继承属性由此结点的父结点和/或兄弟结点的某些属性确定。用继承属性来表示程序语言结构中的上下文依赖关系很方便。6.2基于属性文法的处理方法从概念上讲，基于属性文法的处理过程通常是这样的：对单词符号串进行语法分析，构造语法分析树，然后根据需要遍历语法树，并在语法树的各结点处按语义规则进行计算。输入串语法树依赖图语义规则计算次序这种由源程序的语法结构所驱动的处理办法就是语法制导翻译法。语义规则

7、的计算可能产生代码、在符号表中存放信息、给出错误信息或执行任何其它动作。对输入串的翻译也就是根据语义规则进行计算得出结果。6.2.1依赖图如果在一棵语法树中一个结点的属性b依赖于属性c，那么这个结点处计算b的属性规则必须在确定c的语义规则之后使用。在一颗语法树中的结点的继承属性和综合属性之间的相互依赖关系可以用称作依赖图的一个有向图来描述。在为一棵语法树构造依赖图以前，我们为每一个包含过程调用的语义规则引入一个虚综合属性b，这样把每一个语义规则都写成b:=f(c1,c2,…ck)的形式。依赖图中为每一个属性

8、设置一个结点，如果属性b依赖属性c，则从属性c的结点有一条有向边连到属性b的结点。这里要掌握依赖图的画法。例如，属性A.a:=f(X.x,Y.y)对应于产生式AXY的语义规则,这条语义规则确定了依赖于属性X.x和Y.y的综合属性A.a。如果在语法树中应用这个产生式，那么在依赖图中会有三个结点A.a,X.x,和Y.y。由于A.a依赖X.x，所以有一条有向边从X.x到A.a.由于A.a也依赖于Y.y，所以还有一条有