概述
本章继续2.3节的主题,使用上下文无关文法来引导对语言的翻译。本章讨论的翻译技术在第六章用于类型检查和中间代码生成。
我们把一些属性附加到代码语言构造的文法符号上。语法制导定义通过与文法产生式相关的语义规则来描述属性的值。
语法制导定义
用于将语义规则和产生式关联的两种方法:
- 分布式,语义规则嵌在产生式之中。这种方法被称为Translation schemes
例子:
- 集中式。即语法制导定义SDD
语法制导定义(Syntax-Directed Definition, SDD)是一个上下文无关文法和属性及规则的结合。属性和文法符号相关联,而规则和产生式相关联。
例子:
语法制导定义的两类属性:
- 综合属性:节点处的综合属性的值是根据解析树中该节点的子节点处的属性值计算的
- 继承属性:继承属性的值是根据该节点的兄弟节点和父节点的属性值计算的。
SDD两种类型:
- S属性定义:如果一个SDD的每个属性都是综合属性,那它就是S属性的。
- L属性定义:在一个产生式