[1]S属性是仅仅使用 的语法制导定义。 [2]对于S属性定义，分析树中各结点属性的计算是 完成的。 [3]分析树中各结点属性的计算中采用自下而上方法计算的属性定义为 。