编译原理05语法制导翻译技术与中间代码生成.ppt

第5章语法制导翻译技术和中 代码生成 5.1概述 5,2属性文法 53语法制导翻译概述 54中间语言 5.5自下而上语法制导翻译 56递归下降语法制导的翻译 本章小结  5.1概述 语义分析的任务: 静态语义审查 审查每个语法结构的静态语义, 即验证语法结构合法的程序,是否 真正有意义。  5.1概述 例如:表达式A+B*C 对运算对象进行类型检查,对变 量进行先定义后使用检查 执行真正的翻译 如果静态语义正确,语义处理则要执 行真正的翻译,即生成程序的某种中间 代码的形式或直接生成目标代码。  5.1概述 目前多数编译程序进行语义分析的方 法是采用语法制导翻译法。它不是一种 形式系统,但它比较接近形式化。 语法制导翻译法使用属性文法为工具 来描述程序设计语言的语义。  5.2属性文法 属性文法 (1)属性 对文法的每一个符号,引进一些属 性,这些属性代表与文法符号相关的信 息,如类型、值、存储位置等。与属性 相关的信息,即属性值,可以在语法分析 过程中计算和传递。