S属性和L属性语法是什么意思？

Question

我正在读一本编译器书，当它说“S 属性语法也是 L 属性语法”时，我有点困惑。无法理解。有人可以说清楚吗（一个例子应该很好）。谢谢。

Answer 1

L 属性语法

L-属性语法是一种特殊类型的属性语法。它们允许在抽象语法树的一次从左到右的遍历中评估属性。因此，L-属性语法中的属性评估可以方便地合并到自上而下的语法分析中。许多编程语言都是 L 属性的。特殊类型的编译器（狭义编译器）基于某种形式的 L 属性语法。这些与 S 属性语法相当。用于代码合成。

S 属性语法

S-属性语法是一类属性语法，其特征是没有继承的属性。在解析过程的语义分析过程中，继承属性必须从抽象语法树的父节点向下传递到子节点，这对于自底向上解析来说是一个问题，因为在自下而上解析中，抽象语法的父节点树是在其所有子节点创建之后创建的。 S属性语法中的属性评估可以方便地结合到自上而下的解析和自下而上的解析中。 Yacc 基于 S 属性方法。

任何 S 属性语法也是 L 属性语法。

在L-属性语法中，属性评估可以通过从左到右的遍历来执行。由于在 S 属性语法中属性不是继承的，因此它不会阻止您这样做。因此，您可以说 S 属性语法符合 L 语法的特征。

Answer 2

简单的S属性语法是一种具有严格综合类型语法的语法，意味着在整个解析树中仅具有值属性，

而L属性语法可以同时具有综合语法和继承语法，其中一些规则例如具有传递继承总是从左到右。
我想这会对你有所帮助。