编译原理 属性文法和语法制导翻译httpseinudteducncp网上教学系统 070606302 编译原理.pptxVIP

编译原理第六章 属性文法和语法制导翻译/cp/cp网上教学系统: 070606302: 编译原理 三峡大学计算学院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。三峡大学计算学院说明终结符只有综合属性，由词法分析器提供非终结符既可有综合属性也可有继承属性，文法开始符号的所有继承属性作为属性计算前的初始值对出现在产生式右边的继承属性和出现在产生式左边的综合属性都必须提供一个计算规则。属性计算规则中只能使用相应产生式中的文法符号的属性出现在产生式左边的继承属性和出现在产生式右边的