L属性和S属性定义的自上而下计算有什么区别？

继承属性

        继承属性是从语法树的父节点传递到它的子节点的属性。继承属性通常用于描述从父节点传递给子节点的信息，例如类型信息、作用域等。继承属性的计算顺序是从语法树的根节点向下遍历。

综合属性

        综合属性是从语法树的子节点传递到它的父节点的属性。综合属性通常用于描述从子节点传递到父节点的信息，例如表达式的值、代码生成等。综合属性的计算顺序是从语法树的叶子节点向上遍历。

S属性和L属性

        S属性和L属性都是属性翻译的一种，它们的主要区别在于属性计算的方向。S属性是自下而上计算属性，而L属性是自上而下计算属性。

S属性和L属性区别

        L属性和S属性都是语法制导翻译中常用的两种属性计算方法，它们各有优缺点，在实际应用中需要根据具体情况选择使用。

        L属性和S属性最大的区别在于属性计算时机不同。S属性采用自下而上计算，综合属性在推导过程中进行计算，计算完毕后，可以直接生成目标代码；而L属性采用自上而下计算，继承属性在进行语法分析时被传递，到达推导终结符时才开始计算综合属性。

        通常情况下，如果语法的综合属性只与当前语法的产生式及其子节点有关，没有涉及到父节点，那么可以使用S属性。而如果需要考虑父节点的综合属性，或者需要递归地计算综合属性，就必须使用L属性。在实际应用中，L属性的应用范围更广，通常可以处理更加复杂的语法，但也需要付出更大的计算代价。

举例

        下面举一个简单的例子来说明S属性和L属性的使用场景。假设有如下语法：

文法规则：

E -> E + T | T

T -> T * F | F

F -> ( E ) | id

语义规则：

• 对于每个终结符 id，都有一个关联的属性值 val(id)。
• 对于每个非终结符 E，都有一个关联的属性值 val(E)。
• 对于每个非终结符 T，都有一个关联的属性值 val(T)。

        假设我们需要计算每个非终结符的值，即计算 val(E), val(T), val(F) 的值。对于非终结符 E 和 T，我们可以使用 S 属性计算，即将 val(T) 和 val(E) 的值通过 S 属性传递给 E，最终计算出 val(E) 的值。但是对于非终结符 F，它的值需要通过单独的计算方式计算出来，因为它有括号，需要先计算括号中的表达式的值。在这种情况下，我们需要使用 L 属性，将括号中的表达式的值传递给 F，计算出 val(F) 的值。

        具体来说，我们可以使用一个 L 属性 $eval$，表示计算 F 的值。该属性依赖于括号中的表达式的值，即 $eval(F) = eval(E)$。在计算 E 的值时，我们需要将括号中的表达式的值传递给 F，并计算出 val(F) 的值，然后将 val(F) 的值传递给 T，最终计算出 val(T) 和 val(E) 的值。这个计算过程不能使用 S 属性，因为我们需要将子树的值作为参数传递给属性计算函数，而这些参数是不同子树之间的继承属性，需要使用 L 属性才能正确地计算出结果。