编译原理——S、L属性定义

如果一个语法制导定义的每一个属性都是综合属性，那么就叫做S属性定义。

第二类语法制导定义叫做L属性定义。在产生式中属性之间的依赖图边都是从左到右，不是从右到左。

假设产生式A->X1，X2，...，Xn，而且Xi.a的继承属性与以下几个属性相关：

1.A的继承属性。

2.Xi左边的产生式符号X1，X2，...，X（i-1）的属性。

3.与Xi本身的属性相关，但是只有一种通过Xj属性生成无环依赖图的方式。

S属性定义都是L属性定义。因为S属性只限于综合属性。