编译原理课件-属性文法和语法制导翻译.pptxVIP

属性文法和语法制导翻译;6.1 属性文法;6.1 属性文法;属性 综合属性：“自下而上”传递信息 继承属性：“自上而下”传递信息 在一个属性文法中，对应于每个产生式A→?都有一套与之相关联的语义规则，每条规则的形式为： b:=f(c1,c2,…,ck) 这里，f是一个函数，而且或者 1. b是A的一个综合属性并且c1,c2,…,ck是产生式右边文法符号的属性，或者 2. b是产生式右边某个文法符号的一个继承属性并且c1,c2,…,ck 是A或产生式右边任何文法符号的属性。 属性b依赖于属性c1,c2,…,ck。;说明 终结符只有综合属性，由词法分析器提供 F → digit digit .lexval 非终结符既可有综合属性也可有继承属性，文法开始符号的所有继承属性为属性计算前的初始值。 F → digit F.val， digit .lexval;说明 对出现在产生式右边的继承属性和出现在产生式左边的综合属性都必须提供一个计算规则。属性计算规则中只能使用相应产生式中的文法符号的属性 F → digit F.val= digit .lexval 出现在产生式左边的继承属性和出现在产生式右边的综合属性不由所给的产生式的属性计算规则进行计算，它们由其它产生式的属性规则计算或者由属性计算器的参数提供 语义规则所描述的工作可以包括属性计算、静态语义检查、符号表操作、代码生成等等。 ;例，考虑非终结符A，B和C，其中，A有一个继承属性a和一个综合属性b，B有综合属性c，C有继承属性d。产生式A→BC可能有规则 C.d:=B.c+1 A.b:=A.a+B.c 而属性A.a和B.c在其它地方计算 ; 产 生 式 L→En E→E1+T E→T T→T1*F T→F F→ (E) F→digit ;综合属性 在语法树中，一个结点的综合属性的值由其子结点和它本身的属性值确定。 使用自底向上的方法在每一个结点处使用语义规则计算综合属性的值 仅仅使用综合属性的属性文法称S－属性文法; 产 生 式 L→En E→E1+T E→T T→T1*F T→F F→ (E) F→digit ;3*5+4n的带注释的语法树 ;继承属性 在语法树中，一个结点的继承属性由此结点的父结点和/或兄弟结点和其本身的某些属性确定 用继承属性来表示程序设计语言结构中的上下文依赖关系很??便; 产 生 式 语 义 规 则 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) ;句子real id1，id2，id3的带注释的语法树 ;第六章 属性文法和语法制导翻译;6.2 基于属性文法的处理方法 ;6.2 基于属性文法的的处理方法 ;6.2.1 依赖图 ;对于一棵给定的语法树，依赖图按以下步骤构造：;;句子real id1，id2，id3的带注释的语法树的依赖图;良定义的属性文法;属性的计算次序 ;句子real id1，id2，id3的带注释的语法树的依赖图;6.2 基于属性文法的的处理方法 ;6.2.2 树遍历的属性计算方法; 产 生 式 语 义 规 则 S→XYZ Z.h := S.a X.c := Z.g S.b := X.d -2 Y.e := S.b X→x X.d :=2*X.c Y→y Y.f := Y.e*3 Z→z Z.g :=Z.h+1 ;假设S.a的初始值为0，输入串为xyz;6.2 基于属性文法的的处理方法 ;6.2.3 一遍扫描的处理方法 ;按照一遍扫描的编译程序模型理解语法制导翻译法;一遍扫描的处理方法 ;6.3 S-属性文法的自下而上计算 ;在分析栈中使用一个附加的域来存放综合属性值 假设语义规则A.a:=f(X.x,Y.y,Z.z)是对应于产生式A→XYZ的 ;;;;;;第六章 属性文法和语法制导翻译;一遍扫描的处理方法 ;6.4