语法制导翻译（Syntax-Directed Translation）是编译原理中的一种重要技术，它主要用于将源语言代码翻译成目标语言代码。这种翻译过程是完全由语法分析器驱动的，也就是说，语法分析器在解析源语言代码的同时，会根据语法规则生成对应的目标语言代码。

语法制导翻译的基本思想是为上下文无关文法（CFG）中的每个符号设置语义属性，并为每个产生式关联语义规则。这些语义属性用于表示语法成分的语义信息，而语义规则则用于计算这些语义属性的值。在构建语法分析树的过程中，利用与产生式相关联的语义规则来计算分析树中各节点的语义属性值。

具体来说，语法制导翻译可以通过两种方式实现：语法制导定义（Syntax-Directed Definitions，SDD）和语法制导翻译方案（Syntax-Directed Translation Scheme，SDT）。

在语法制导翻译中，属性可以分为综合属性和继承属性两类。

这两种属性在语法制导翻译中起着关键作用，它们使得我们能够在语法分析的过程中逐步积累和传递语义信息。

属性文法是编译原理中的一种重要技术，它扩展了传统的上下文无关文法，为文法符号（包括终结符和非终结符）关联了额外的“属性”。这些属性通常表示与文法符号相关的语义信息，如类型、值、作用域等。属性文法的目标是在语法分析的过程中同时处理语义，使得语法和语义的处理能够紧密结合。

在属性文法中，属性可以分为两类：综合属性和继承属性。

综合属性：从子结点的属性值计算得出的属性，通常用于自下而上地传递信息。在语法树中，一个结点的综合属性由其子结点或自身的某些属性值确定。

继承属性：从父结点或兄弟结点继承的属性值，用于自上而下地传递信息。在语法树中，一个结点的继承属性由父结点、兄弟结点或自身的某些属性值确定。

属性文法中的每个产生式通常都配备了一组语义规则，这些规则定义了如何计算属性值。语义规则是基于属性的计算和传递的规则，它们描述了语法结构与语义之间的对应关系。

一个没有副作用的SDD有时也称为属性文法

SDD（Syntax-Directed Definition）是语法制导定义，它是编译原理中的一个重要概念，用于描述语法和语义的结合。在SDD中，属性和文法符号相关联，而规则和产生式相关联。属性可以分为综合属性和继承属性。

带有继承属性的SDD，意味着在定义语法结构时，某些属性的值是由其父结点、兄弟结点或结点本身决定的，而不是由其子结点决定的。这些属性被称为继承属性（inherited attribute），因为它们从上级结点“继承”了信息。

具体来说，在分析树结点N上的非终结符A的继承属性，只能通过N的父结点、N的兄弟结点或N本身的属性值来定义。终结符号则没有继承属性，因为它们的属性值是由词法分析器提供的，而不是从上级结点继承的。

在SDD中，继承属性常用于描述一些需要上下文信息的语法结构。例如，在描述变量声明语句的上下文无关文法（CFG）中，可以使用继承属性来表示变量的作用域或类型等信息。这些信息需要从上级结点（如函数或块）继承下来，以便在语法分析过程中正确处理变量声明和引用。

需要注意的是，在使用带有继承属性的SDD时，需要确保属性之间的依赖关系不会形成循环依赖，否则将无法正确地计算属性的值。为了避免这种情况，可以使用一些技术来检测和消除循环依赖，如拓扑排序等。

带有综合属性的SDD（Syntax-Directed Definition）是指在语法制导定义中，某些属性的值是由分析树中结点的子结点或结点本身的属性值来决定的。这些属性被称为综合属性（synthesized attribute），因为它们是由下级结点“综合”得出的信息。

在SDD中，综合属性常用于描述语法结构中的聚合或累积信息。例如，在表达式求值的语法制导定义中，可以使用综合属性来表示表达式的计算结果。对于表达式E -> E1 + T，其中E、E1和T都是非终结符，E的val属性（表示表达式的值）就是一个综合属性，因为它是由子结点E1和T的val属性值通过加法运算得出的。

与继承属性不同，综合属性是自下而上传递信息的。在语法分析过程中，当遇到一个产生式的右侧时，会先计算子结点的属性值，然后再根据这些属性值计算产生式左侧非终结符的综合属性值。

需要注意的是，在使用带有综合属性的SDD时，也需要确保属性之间的依赖关系不会形成循环依赖。此外，还需要注意综合属性和继承属性之间的相互作用，以确保语法分析的正确性和效率。

S-属性定义（S-Attributed Definition）是编译原理中的一个概念，与属性文法相关。在属性文法中，属性可以分为综合属性和继承属性。S-属性定义特指仅使用综合属性的语法制导定义（SDD）。

在编译器设计中，S-属性定义常用于语法制导的翻译、类型检查等任务，它有助于在语法分析的同时处理语义信息，提高编译器的效率和准确性。

L-属性定义（L-Attributed Definition）是编译原理中属性文法的一种类型。在属性文法中，属性可以分为综合属性和继承属性，而L-属性定义则涉及这两类属性的特定使用方式。

L-属性定义的核心思想是：在一个产生式所关联的各属性之间，依赖图的边可以从左到右，但不能从右到左。具体来说，如果一个SDD（语法制导定义）的每个属性要么是综合属性，要么是满足特定条件的继承属性，则它是L-属性定义。

这些特定条件包括：对于产生式A → X1X2...Xn及其对应的继承属性Xi.a，该属性只能依赖于：

但是，在由Xi的全部属性组成的依赖图中不能存在环。

L-属性定义允许在自顶向下的语法分析过程中计算属性值，因为继承属性可以从父节点和左侧兄弟节点获取值。这种属性定义方式有助于在语法分析的同时处理语义信息，提高编译器的效率和准确性。

需要注意的是，每个S-属性定义都是L-属性定义，但并非每个L-属性定义都是S-属性定义。这是因为S-属性定义仅使用综合属性，而L-属性定义则同时使用了综合属性和满足特定条件的继承属性。

SDD（语法制导定义）的求值顺序是指在计算分析树中各结点对应的属性值时应遵循的顺序。这个顺序取决于属性之间的依赖关系。

综上所述，SDD的求值顺序是基于属性之间的依赖关系来确定的，并且通常遵循拓扑排序的原则进行计算。在实际应用中，需要注意选择合适的属性定义方式以确保存在一个有效的求值顺序。

SDD依赖图示例：

将一个S-SDD转换为SDT的方法：将每个语义动作都放在产生式的最后

S-属性定义的SDT实现 如果一个S-SDD的基本文法可以使用LR分析技术，那么它的SDT可以在LR语法分析过程中实现

将转换为SDT的规则

L-属性定义的SDT实现 如果一个L-SDD的基本文法可以使用LL分析技术，那么它的SDT可以在LL或LR语法分析过程中实现

在非递归的预测分析（通常指的是预测解析或LR解析）过程中进行语义翻译，通常涉及将语法分析与语义动作相结合。这些语义动作是在解析过程中执行的，用于构建抽象语法树（AST）或进行其他形式的语义处理。

以下是在非递归的预测分析过程中进行语义翻译的一般步骤：

扩展语法分析栈

在递归的预测分析（通常指的是递归下降解析）过程中进行语义翻译，涉及将递归的语法分析与语义动作相结合。递归下降解析是一种自顶向下的解析方法，其中每个非终结符都对应一个递归过程或函数。这些递归函数负责根据语法规则来匹配和消耗输入，并在适当的时候执行语义动作。

以下是在递归的预测分析过程中进行语义翻译的一般步骤：

定义语法规则：首先，您需要定义上下文无关文法（CFG）的规则。这些规则描述了语言的语法结构。

为每个非终结符编写递归函数：对于CFG中的每个非终结符，您需要编写一个递归函数，该函数将尝试匹配并消耗与该非终结符相关的输入。这些函数通常会利用递归调用来处理嵌套的语法结构。

嵌入语义动作：在每个递归函数中，当匹配到特定的语法结构时，您需要嵌入相应的语义动作。这些动作可以是构建抽象语法树（AST）的节点、执行类型检查、进行变量绑定、生成中间代码等。

处理递归调用和回溯：在递归下降解析中，递归函数可能需要处理多种可能的语法分析路径。当遇到多个可选的解析步骤时，您需要使用条件语句（如if-else或switch-case）来选择正确的路径。在某些情况下，可能需要回溯（即撤销之前的解析步骤）以尝试不同的路径。

错误处理：在递归下降解析中，当遇到无法匹配的输入或语法错误时，您需要提供适当的错误处理机制。这可能包括报告错误位置、提供错误消息或尝试进行错误恢复。

构建和使用AST：一旦解析完成并且执行了所有的语义动作，将得到一个表示输入程序结构的抽象语法树（AST）。可以进一步遍历和操作这个AST来进行语义分析、类型检查、代码生成等后续步骤。

给定一个以LL文法为基础的L-属性定义，可以修改这个文法，并在LR语法分析过程中计算这个新文法之上的SDD