编译原理语义1(属性文法和语法制导翻译).pptxVIP

西北农林科技大学本科教程 编译原理第 9 讲主讲教师：赵建邦 第一页，共三十三页。第四章 语义分析和中间代码生成4.1 语义分析概述4.2 属性文法4.3 几种常见的中间语言4.4 表达式及赋值语句的翻译4.5 控制语句的翻译4.6 数组元素的翻译4.7 过程或函数调用语句的翻译4.8 说明语句的翻译4.9 递归下降语法制导翻译方法简介第二页，共三十三页。第四章《语义分析和中间代码生成》4.1 语义分析概述4.2 属性文法4.3 几种常见的中间语言重点掌握语法翻译制导思想逆波兰表示法三地址代码（四元式、三元式）第三页，共三十三页。本讲目标 4.1 语义分析概述4.1.1 语义分析的内容语义分析包括两部分：1. 静态语义审查（编译阶段） (1)类型检查：检查运算的合法性和运算分量类型的相容性，必要时进行类型转换。 (2)控制流检查：保证控制语句有合法的转向点。 (3)一致性检查。2. 生成目标代码或中间代码 生成中间代码的好处： (1) 使得编译结构在逻辑上更为简单明确 (2) 容易实现目标代码的优化 第四页，共三十三页。4.1 语义分析概述4.1.1 如何实现语义分析？语义分析不像词法分析和语法分析那样，分别可以用正规文法和上下文无关文法形式化地进行描述语义分析的描述工具：属性文法语义分析的实现方式：语法制导翻译 其中，属性文法是语法制导翻译的基