语法制导的定义

在语法制导定义中，每个文法符号有一组属性，对于每个产生式A→α都有与之相关联的一套语义规则，规则形式为b：=f（c1，c2，…，ck），f是一个函数
1）综合属性：如果b是A的属性，c1，c2，····，ck是产生式右部文法符号的属性或A的其他属性，那么b称为A的综合属性。
2）继承属性：如果b是产生式右部某个文法符号X的属性，c1，c2，···，ck是A的属性或右部文法符号的属性，那么b称为X的继承属性。
3）S属性定义：仅仅使用综合属性的语法制导定义称为S属性定义。
4）注释分析树：每个结点的属性值都标注出来的分析树。
5）依赖图：分析树结点的属性之间的互相依赖可以用依赖图的有向图来描绘。

略