# 语法制导翻译-语法制导翻译方案(SDT)  存在一套SDD定义时，可以将其细化为SDT方案。针对典型的两种SDD（S-SDD、L-SDD），有以下几种典型的SDT。 ## S-SDD转换为SDT  对于LR文法，可以将SDT植入LR分析过程实现语法制导翻译 - 除了符号栈和状态栈，再引入另一个平行的**属性栈，存储符号对应的综合属性**（可以以元组作为元素，存储多个综合属性） - **在归约时，执行产生式对应的语义规则，计算其综合属性，然后将结果放入与归约后的非终结符平行的属性栈位置** - SDT执行动作的具体代码中，可能涉及到引用不同符号的各种属性，这些符号的属性数据可由归约时栈顶的相对位置确定  ## L-SDD转换为SDT   ### 植入LL分析过程 #### 非递归实现 对于非递归（手动栈）的LL分析，对栈的结构进行扩展： - 每一个栈元素都附带一个元组结构，用来存储一些属性 - 每一个动作都视为一个单独的栈元素 - 在每一个非终结符入栈之前，都先入栈一个该非终结符对应的syn节点，syn节点和原节点将分别存储该非终结符的综合属性和继承属性 如下图，为分析栈从（T）展开至（F{a1}T'{a2}）时的状态：  这是不够的，在出栈时，对应元素的属性可能需要保留，需要按如下两条规则在出栈时进行转移：  #### 递归实现 递归实现相对简单，仅需对每个非终结符的展开过程添加参数和返回值来表示一些属性，再在过程中动作对应的位置使用这些参数做计算即可。  ### 植入LR分析过程 将L-SDD稍作修改： - 将计算继承属性的动作替换为一个“标记非终结符”，即一个只有空产生式的非终结符 - 在标记非终结符的空产生式归约时计算原动作，且视为紧邻的下一个非终结符的继承属性 - 以此处理，L-SDD将回退为一个类似S-SDD的结构，便于植入LR分析中进行语法制导翻译  这实际上是一种很hacky的技术： - ①标记非终结符的综合属性与紧邻的下一个非终结符的继承属性并不等价，需要补充规则 - ②标记非终结符将使用其产生式右部中没有的文法符号的属性进行计��，需要补充规则 因此它不是使用简单的S-SDD处理方案，相对而言设计出执行动作的具体代码会更困难。