第五语法制导翻译分析.pptVIP

第五章 语法制导翻译 5.4 ~ 5.5 5.4 语法制导的翻译模式(Translation Scheme) 语法制导翻译（SDT）是SDD的实现。 语法制导翻译模式（SDT）是拓广的CFG， 在文法中嵌入语义动作，语义动作写在花括号“{}”里，可以出现在产生式右部适当位置。 当归约出产生式右部的某个非终结符号后，就执行紧接在该非终结符号右边的语义动作。 任何SDT可以通过先建立语法分析树，然后前序遍历执行语义动作。 但是，我们希望SDT能够在语法分析的同时进行，无需构造好分析树。这里讨论两类： 基础文法是LR，SDD是S-attributed； 基础文法是LL，SDD是L-attributed。 SDD vs. SDT 语义规则 语义动作 SDD vs. SDT 语义规则 语义动作 5.4.1 后缀SDT 自底向上分析S属性文法。 A ? X Y Z{语义动作} 5.4.2后缀SDT的语法分析实现 A ? X Y Z 例5.15 显式操作语法分析栈 3*5 n的分析计算过程 3*5 n的分析计算过程 3*5 n的分析计算过程 3*5 n的分析计算过程 3*5 n的分析计算过程 3*5 n的分析计算过程 3*5 n的分析计算过程 3*5 n的分析计算过程 5.4.3 产生式内部带语义动作的SDT B ? X {a} Y LR：归约出X之后立即执行动作{a