编译原理第七章—语义分析和中间代码的产生内容总结

      在上周的时候我们刚刚学习了属性文法和语法制导翻译，为这一张的学习打下了很好的基础。上一章介绍的方法可以很好的应用于语义分析和中间代码的产生中。之前的时候我们学习了抽象语法树的概念，他是源程序的中间表示方法之一，在这一章中我们又学习了后缀式，三地址代码，DAG图的表示等。下面是我对本章内容的总结，例题分析，以及学习的一些感悟。

一、内容总结：

语义分析的任务

1、审查每一个语法结构的静态语义，即验证语法正确的结构是否有意义。

  如：赋值语句：x:=x+y,左边变量类型与右边变量类型是否一致。

2.在语义正确的基础上生成一种中间代码或目标代码

语义分析的范围

1.确定类型：确定标识符所关联的数据类型。

2.类型检查：按语言的类型规则，检查运算的合法性与运算分量类型的一致性，必要时作类型转换。

3.识别含义：根据语言的语义定义（形式或非形式），识别程序中各构造成分组合到一起的含义，并作相应的语义处理（生成中间代或目标代码）。

4.控制流检查：控制流语句必须转移到合法的地方 。如 C中，break语句规定跳出最内层的循环或switch语句。