编译原理笔记【第八章 语义分析】

第一节 语义分析概述

1.1 语义分析的任务

语义检查
一致性检查（数据类型是否一致、操作是否合法）
越界检查（数组维数是否正确、下标是否越界）

语义处理
说明语句的翻译（相关信息登记到符号表中）
执行语句的翻译（生成等价的中间代码）

1.2 语义分析和语法分析

语法分析只能判断一个句子是否合法，不能给出句子的含义。
句子的含义是通过语义分析提现出来的。

1.3 语义值

1.4 语义动作和语义子程序

1.5 翻译

1.6 三地址码

一种中间代码

实例

第二节 说明语句的翻译

即变量说明语句

2.1 例子

int a, b;
float f1, f2;

2.2 语法规则

2.3 语义分析目标

2.4 语义子程序

2.5 语法分析过程

2.6 语义分析过程

第三节 赋值语句的翻译

3.1 语法规则

3.2 语义分析目标

3.3 语义子程序

3.4 语法分析过程

3.5 语义分析过程

第四节 goto语句的翻译

4.1 语法规则

4.2 语义分析目标

4.3 语义子程序

4.4 语法分析过程

4.5 语义分析过程

第五节 if语句的翻译

5.1 语法规则

5.2 语义分析目标

5.3 语义子程序

5.4 语法分析过程

5.5 语义分析过程

5.6 if-else语句

1. 语法规则
   

2. 语义分析目标
   

3. 语义子程序
   
   

4. 语义分析过程
   

第六节 while语句的翻译

6.1 语法规则

6.2 语义分析目标

6.3 语义子程序

6.4 语义分析过程

第七节 for语句的翻译

7.1 语法规则

7.2 语义分析目标

7.3 语义子程序

7.4 语义分析过程

第八节 函数的翻译

8.1 语法规则

8.2 语义分析目标

8.3 语义子程序

8.4 语义分析过程

第九节 函数的调用

9.1 语法规则

9.2 语义分析目标

9.3 语义子程序

9.4 语义分析过程