【编译原理】-第6章-属性文法和语法制导翻译-Chapt6.pptVIP

第六章 属性文法和语法制导翻译 6.1 属性文法 属性文法（也称属性翻译文法） Knuth在1968年提出 在上下文无关文法的基础上，为每个文法符号（终结符或非终结符）配备若干相关的“值”（称为属性） 属性代表与文法符号相关信息，如类型、值、代码序列、符号表内容等 属性可以进行计算和传递 语义规则：对于文法的每个产生式都配备了一组属性的计算规则 属性 综合属性：“自下而上”传递信息 继承属性：“自上而下”传递信息 在一个属性文法中，对应于每个产生式A→?都有一套与之相关联的语义规则，每条规则的形式为： b:=f(c1,c2,…,ck) 这里，f是一个函数，而且或者 1. b是A的一个综合属性并且c1,c2,…,ck是产生式右边文法符号的属性，或者 2.b是产生式右边某个文法符号的一个继承属性并且c1,c2,…,ck 是A或产生式右边任何文法符号的属性。 属性b依赖于属性c1,c2,…,ck。 说明： 终结符 只有综合属性，由词法分析器提供 非终结符 既可有综合属性也可有继承属性 文法开始符号的所有继承属性作为属性计算前的初始值 对产生式右边的继承属性和产生式左边的综合属性都必须提供一个计算规则（右继左综） 属性计算规则中只能使用相应产生式中的文法符号的属性 产生式左边的继承属性和产生式右边的综合属性不由所给的产生式的属性计算规则进行计算（左继右综） 由其它产生式的属性规则计算或者由属性计算器的参数提供 语义规则所描述的工作可以包括 属性计算、静态语义检查、符号表操作、代码生成等等 例1： 考虑非终结符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在其它地方计算 例2： 产 生 式 L→En E→E1+T E→T T→T1*F T→F F→ (E) F→digit 综合属性 在语法树中，一个结点的综合属性的值由其子结点的属性值确定 使用自底向上的方法在每一个结点处使用语义规则计算综合属性的值 S－属性文法 仅仅使用综合属性的属性文法 3*5+4n的带注释的语法树 产 生 式 语 义 规 则 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 F→digit F.val :=digit.lexval 继承属性 在语法树中，一个结点的继承属性由此结点的父结点和/或兄弟结点的某些属性确定 使用自上而下的方法进行计算 用继承属性来表示程序设计语言结构中的上下文依赖关系很方便 例3： 产 生 式 语 义 规 则 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的带注释的语法树 产 生 式 语 义 规 则 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) 6.2 基于属性文法的的处理方法 由源程序的语法结构所驱动的处理办法就是语法制导翻译法 语义规则的计算 产生代码 在符号表中存放信息 给出错误信息 执行任何其它动作 对输入符号串的翻译也就是根据语义规则进行计算的结果。 6.2 基于属性文法的处理方法 依赖图 树遍历 一遍扫描 6.2.1 依赖图 在一棵语法树中的结点的继承属性和综合属性之间的相互依赖关系可以由称作依赖图的一个有向图来描述 为每一个包含过程调用的语义规则引入一个虚综合属性b，这样把每一个语义规则都写成 b:=f(c1,c2,…,ck) 的形式 依赖图中为每一个属性设置一个结点，如果属性b依赖于属性c，则从属性c的结点有一条有向边连到属性b的结点。 依赖图的算法描述： for 语法树中每一结点n do for 结