编译原理——语法制导翻译1.1

语法制导定义

语法制导定义是对上下文无关文法的推广，其中每个文法符号都有一个相关的属性集。属性分为俩个子集，分别为该文法符号的综合属性和继承属性。

节点的综合属性值是通过分析树中其子结点的属性值计算出来的；而继承属性值则是由该节点的兄弟节点及父节点的属性值来计算的。

在语法制导定义中，每个产生式A->a都有一个形如b：= f（c1,c2,c3,…,ck）的语义规则集合与之相关联，其中f是函数，并且满足下面俩种情况之一：

1.b是A的一个综合属性，且c1，c2 ，…，ck是该产生式文法符号的属性。

2.b是产生式右部某个文法符号的一个继承属性，且c1，c2 ，…，ck也是该产生式文法符号的属性。

对这两个情况都称为属性b依赖于属性c1，c2 ，…，ck。

以下是综合属性 3*5+4n和继承属性 在每个L节点处都带有继承属性in的分析树 的注视分析树。