编译第6章属性文法和语法制导翻译.pptVIP

属性文法的一些基本概念 基于属性文法的几种处理方法 S-属性文法的自上而下计算 L-属性文法和自顶向下翻译 自下而上计算继承属性 第六章 属性文法和语法制导翻译 一.属性文法 1.属性(Attribute)： 一个文法符号X∈(VN∪VT)的语义性质称为该文法符号的语义属性，用以代表与文法的相关信息，简称属性。 ⑶同一文法符号可以有多个属性。 ⑴属性的典型例子： 变量的数据类型; 表达式的值; 存储器中变量的位置; 程序的目标代码; 数的有效位数; 等。 ⑵用记号X.a表示与文法符号X相关的属性a。 (1)语义规则 对于文法的每个产生式所配备的一组属性的计算规则，叫做语义规则。 2.属性文法 属性文法是对上下文无关文法的扩充：是把上下无关语言同上下文相关的语言语义信息相结合的形式定义。因而是语义分析形式定义的有效手段，即使代码优化与目标代码生成也可以用属性文法来形式化地描述。 (2)属性文法（Attribute Grammar） 对于某个上下无关文法，当把每个文法符号联系于一组属性，且让该文法中的产生式附以语义规则时，称该上下文无关文法为属性文法。 又称语法制导定义，Syntax-Directed Definition。 也就是说，属性文法是一个上下文无关文法和属性及属性计算规则的结合。属性和文法符号相关联，而属性计算规则和产生式相关联。 L是文法的识别符号，n表示行结束符， 产生式LEn的语义规则是一个过程，表示打印E的属性值val。可以认为这条规则定义了L的一个虚属性。 语义规则部分明确地规定了各属性值是如何计算的。 例：简单算术表达式求值的属性文法 ①对非终结符E、T、F各引进一个整型属性值val; ②对终结符digit引进整型属性值lexval,由词法分析程序提供; 产生式 语义规则 DTL L.in=T.type Tint T.type=integer Treal T.type=real LL1,id L1.in=L.in addtype(id, entry, L.in) Lid addtype(id,entry, L.in) 过程addtype的功能是把标识符的类型添加到符号表中的相应条目中。该条目位置由entry指定 该文法定义的是一种说明语句，该说明语句的形式是由关键字int或real开头，后跟一个标识符表，每个标识符间用逗号隔开。 给终结符T引入一个type属性,它的值由说明中的关键字确定； 给L引入一个in属性，它的值由T.type或前一个L.in确定； 例：简单说明语句的属性文法 各结点上标记有相应属性值的语法分析树称带注释的语法分析树；计算各结点的属性值的过程称为对语法分析树进行注释。 Ⅰ.综合属性 一个结点对应文法符号属性值通过语法分析树中它的子结点的属性值来计算，按这种情况计算的属性值叫做综合属性。 例：上面例1，输入：3*5+4n 时的带注释的语法树如下：其中的所有属性均为综合属性。 也就是说，语法制导翻译的方法是先构造一棵语法分析树，然后通过访问这棵树的各个结点来计算结点的属性值。 (4)综合属性与继承属性 (3)带注释的语法树 * digit F T digit F T E + digit F T E L n Fdigit F.Val=digit.lexVal LEn print(E.Val) EE1+T E.Val=E1.Val+T.Val E T E.Val=T.Val T T1*F T.Val=T1.Val+F.Val TF T.Val=F.Val F(E) F.Val=E.Val lexval:=3 val:=3 val:=3 lexval:=5 val:=5 val:=15 val:=15 lexval:=4 val:=4 val:=4 val:=19 输入串:3*5+4n 对语法分析树的后序遍历来计算属性值。当遍历最后一次离开某结点N的时候计算出该结点N的属性值。 Ⅱ.继承属性 一个结点相应的文法符号属性值是由该结点兄弟结点和/或父结点的相应的文法符号的属性值来计算，按这种情况计算的属性值叫做继承属性。 上面例2中，输入为real id1,id2,id3 产生式 语义规则 DTL L.in=T.type Tint T.type=integer Treal T.type=real LL1,id L1.in=L.in addtype(id,entry, L.in) Lid addtype(id,entry, L.in) T有一个属性type，它是声明D中的类型。非终结符L也有一个属性in，它的作用是将声明的类型沿着标识符列表向