5-1 语法制导翻译概述
-
语法制导翻译:使用上下文无关文法引导对语言的翻译,是一种面向文法的翻译技术
-
语法制导翻译基本思想:
(1)如何表示语义信息?——为CFG中的文法符号设置语义属性,用来表示语法成分对应的语义信息
(2)如何计算语义属性?——用与文法符号所在产生式相关联的语义规则来计算的。
对于给定的输入串x,构建x的语法分析树,并利用与产生式相关联的语义规则来计算分析树各节点对应的语义属性值。 -
语义规则与语法规则的联系:
语法制导定义 SDD:将每个文法符号与语义属性相关联,将产生式和语义规则相关联,用于计算产生式中各文法符号的属性值
语法制导翻译方案 SDT:是在产生式右部嵌入了程序片段的CFG。这些程序片段称为语义动作。一个动作在产生式中的位置决定了它的执行时间
- SDD与SDT