过程定义是一个声明，它的最简单形式是将一个名字和一个语句联系起来，该名字是过程名，而这个语句是过程体。

每个结点的属性值都标注出来的分析树叫做注释分析树。

判断题每个结点的属性值都标注出来的分析树叫做注释分析树。

仅仅使用综合属性的语法制导定义称为S属性定义。

判断题仅仅使用综合属性的语法制导定义称为S属性定义。

属性文法是指语义规则函数无副作用的语法制导定义。

判断题属性文法是指语义规则函数无副作用的语法制导定义。