编译原理 第六章属性文法和语法制导翻译.pptVIP

编译原理 第六章 属性文法和语法制导翻译 本章主要内容 语法制导翻译与属性文法 综合属性与 S 属性文法 S 属性文法的自底向上计算 继承属性与 L 属性文法 L 属性文法的自顶向下计算 L 属性文法的自底向上计算 语法制导的翻译 词法分析，语法分析：单词和语言成分的识别及词法和语法结构的检查。 编译器的接下去的任务是将高级语言翻译成目标代码 语法制导的翻译 这个翻译的过程是在语法分析过程中同步完成的，所以我们称为语法制导翻译 在自顶向下或是自底向上过程中同步完成翻译，分析一条语句，翻译一条语句 本章介绍比较流行的： 基于属性文法的语法制导翻译方法 6.1 属性文法 是上下文无关文法的拓展。在上下文无关文法的基础上，为每个文法符号（终结符或非终结符）配备若干相关的“值”（称为属性）。 属性代表与文法符号相关信息，如类型、值、代码序列、符号表内容等 属性可以进行计算和传递 语义规则：对于文法的每个产生式都配备了一组属性的计算规则 属性文法：上下文无关文法的扩展 一个简单的计算器属性文法 属性 每个文法符号有一组属性，例如 E.val 属性可以表示 数值（比如 “27”, “3.14” 的值） 字符串（比如 “Hello”） 内存位置，例如一个局部变量或函数参数在内存中的地址 某个变量的作用域，例如：全局还是局部 程序的中间代码表示：如 (+, t2, t3, t5) 属性的类型 综合属性：“自下而上”传递信息 继承属性：“自上而下”传递信息 在一个属性文法中，对应于每个产生式A→?都有一套与之相关联的语义规则，每条规则的形式为： b:=f(c1,c2,…,ck) 这里，f是一个函数，而且或者 1. b是A的一个综合属性并且c1,c2,…,ck是产生式右边文法符号的属性，或者 2. b是产生式右边某个文法符号的一个继承属性并且c1,c2,…,ck 是A或产生式右边任何文法符号的属性。 这两种情况下称属性b依赖于属性c1,c2,…,ck。 说明 终结符只有综合属性，由词法分析器提供。 非终结符既可有综合属性也可有继承属性，文法开始符号的所有继承属性作为属性计算前的初始值。 对出现在产生式右边的继承属性和出现在产生式左边的综合属性都必须提供一个计算规则。 属性计算规则中只能使用相应产生式中的文法符号的属性 出现在产生式左边的继承属性和出现在产生式右边的综合属性不由所给的产生式的属性计算规则进行计算， 它们由其它产生式的属性规则计算或者由属性计算器的参数提供 语义规则 每个文法产生式 A ? ? 有一组形式为 b := f(c1, c2, …, ck ) 的语义规则 其中f 是函数，b和c1, c2, …, ck 是该产生式文法符号的属性 例如： E.val := E1 .val + T.val 语义规则 语义规则是根据产生式所蕴涵的语义操作建立起来的，并与语义分析的目标有关 不同的产生式对应不同的语义规则 不同的分析目标也对应不同的语义规则 语义规则所描述的工作可以包括属性计算、静态语义检查、符号表操作、代码生成等等。 例，考虑非终结符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－属性文法。 3*5+4 的计算过程 属性的计算过程 在刚才的计算过程中，我们对分析树的所有节点做了一次遍历 而且是深度优先遍历 在遍历过程中同步完成属性值的计算 注释分析树：结点的属性值都标注出来的分析树 继承属性 分析树中，一个结点的属性值是由此结点的父结点和/或兄弟结点的某些属性来决定的，则把这种属性称为 继承属性 用继承属性来表示程序设计语言结构中的上下文依赖关系很方便 句子real id1，id2，id3的带注释的语法树 产 生 式 语 义 规 则 D→TL L.in := T.type T→int T.type := integer T→real T.type := real L→L1, id