第五章 语法制导翻译（一）.pptVIP

第五章 语法制导翻译 在文法中，文法符号通常都有明确的意义，文法符号之间也有确定的语义关系。 用属性描述语义信息，用语义规则描述属性之间的关系，将语义规则与语法规则相结合。 语法制导翻译(Syntax-Directed Translations)：在语法分析的过程中计算语义属性值。 介绍一种形式化的语义描述方法：语法制导的翻译，包括两种具体形式 语法制导定义(Syntax-Directed Definitions, SDD)：定义翻译所必须的语义属性和语义规则，一般不涉及计算顺序。 翻译模式(translation schemes)： 给出语义规则的计算顺序。 介绍语法制导翻译的实现方法。 语法制导翻译的一般过程 5.1 语法制导定义 语法制导定义是对CFG的推广，每个文法符号都有一个相关的属性集。 属性：语义信息。一个文法符号通常用一个或若干个属性来描述它的语义信息。典型例子： 变量的数据类型 表达式的值 变量的存储位置 程序的目标代码 5.1.1综合属性和继承属性 综合属性：在分析树结点N上的非终结符A的综合属性是由N上的产生式所关联的语义规则来定义的。A是产生式的头。结点N上的综合属性只能通过N的子结点的属性值或结点N本身的属性值计算得到。 继承属性：在分析树结点N上的非终结符B的继承属性是由N的父结点上的产生式所关联的语义规则来定义的。 B出现在产生式的体中。结点