万字长文+独家思维导图！让你懂透编译原理(一)——第一章引论

最新推荐文章于 2022-05-19 21:42:42 发布

Abby-Shen

最新推荐文章于 2022-05-19 21:42:42 发布

阅读量1.2w

点赞数 86

分类专栏：编译原理文章标签：编译原理

本文链接：https://blog.csdn.net/m0_46413065/article/details/115046890

版权

编译原理专栏收录该内容

9 篇文章 209 订阅

订阅专栏

万字长文！让你懂透编译原理(一)——第一章引论

超长文预警！

系列文章传送门：
万字长文+独家思维导图！让你懂透编译原理(一)——第一章引论
 万字长文！让你懂透编译原理(二)——第二章高级语言及其语法描述
 近三万字长文！让你懂透编译原理(三)——第三章词法分析
 三万多字长文！让你懂透编译原理(四)——第四章语法分析—自上而下分析
 六万多字长文！让你懂透编译原理(五)——第五章语法分析—自下而上分析
 三万五千字长文！让你懂透编译原理(六)——第六章属性文法和语法制导翻译
 六万字长文！让你懂透编译原理(七)——第七章语义分析和中间代码产生

文章目录

万字长文！让你懂透编译原理(一)——第一章引论

第一章思维导图

请添加图片描述

1.1. 什么是编译程序

翻译程序

把某一种语言程序(称为源语言程序)等价地转换成另一种语言程序(称为目标语言程序)的程序

在这里插入图片描述

编译程序(compiler)

把某一种高级语言程序(源语言程序)
等价地转换成另一种
低级语言程序（目标语言程序）
(如汇编语言或机器语言程序)的程序。
（如C语言、PASCAL语言等是编译程序）
在这里插入图片描述
进一步分类：
诊断编译程序优化编译程序
交叉编译程序可变目标编译程序

解释程序

把源语言写的源程序作为输入，但不产生目标程序，而是边解释边执行源程序本身。（如BASIC语言是解释程序）
在这里插入图片描述

编译程序 vs. 解释程序

在这里插入图片描述

注意事项与要点归纳：

翻译程序是指将用某种语言编写的程序转换成另一种语言形式的程序的程序，如编译程序和汇编程序等。
编译程序是把用高级语言编写的源程序转换（加工）成与之等价的另一种用低级语言编写的目标程序的翻译程序。
解释程序是解释、执行高级语言源程序的程序。
编译程序是一种翻译程序
用汇编语言或高级语言编写的程序，必须先送入计算机，经过转换成用机器语言表示的目标程序（这个过程叫做编译），才能由计算机执行。执行转换过程的程序叫做编译程序。汇编程序是指没有编译过的汇编语言源文件。编译程序转换过的叫做目标程序，也就是机器语言。

总结归纳

(1) 程序设计语言

机器语言: 由0、1代码构成，不需翻译就可直接执行其程序。
汇编语言: 机器指令助记符（伪代码）形式，汇编后才可执行其程序。
高级程序设计语言: 类自然语言和数学公式形式

(2) 基本术语

源程序(Source Program)：用源语言写的程序。源语言可以是汇编语言，也可以是高级程序设计语言。
目标程序(Target Program)：也称为“结果程序”，是源程序经翻译程序加工以后所生成的程序。目标程序可以用机器语言表示，也可以用汇编语言或其它中间语言表示。
翻译程序(Translating Program)：是指把一个源程序翻译成逻辑上等价的目标程序的程序。源程序为其输入，目标程序为其输出。
汇编程序(Assembler)：是指把一个汇编语言写的源程序转换成等价的机器语言表示的目标程序的翻译程序。
编译程序(Compiler)：若源程序是用高级程序设计语言所写，经翻译程序加工生成目标程序，则该翻译程序就称为“编译程序”，也可称为编译器。
解释程序：是高级语言翻译程序的一种，他将源语言书写的源程序作为输入，解释一句后就提交计算机执行一句，并不形成目标程序，就像外语翻译中的“口译”一样，不产生全文的翻译文本。
运行系统(Running System)：目标程序执行时，需要有一些子程序（如一些连接装配程序及一些连接库等）配合进行工作，由这些子程序组成的一个子程序库称为运行系统。
编译系统(Compiling System)：编译程序和运行系统合称编译系统。

(3) 程序的翻译

除机器语言程序外，用其它语言书写的程序都必须经过翻译才能被计算机识别。这一过程由翻译程序来完成。
编译方式是一种分阶段进行的方式，包括翻译和运行两部分。
前一阶段：翻译
后一阶段：运行，由运行系统配合完成。

1.2. 编译过程

在这里插入图片描述
编译程序的工作一般分为五个阶段:

词法分析
语法分析
中间代码产生
优化
目标代码产生

1. 词法分析

任务:

输入源程序，对构成源程序的字符串进行扫描和分解，识别出一个个单词符号。

依循的原则：

构词规则

描述工具：

正规式和有限自动机

举例

FOR I := 1 TO 100 DO
基本字 FOR
标识符 I
赋值号 :=
整常数 1
基本字 TO
整常数 100
基本字 DO

在这里插入图片描述

词法分析依照此法规则，识别正确的单词，并将其转换成统一规格（类号、内码），备用。
转换规则包括：对基本字、运算符、界限符的转换规则（有限的、可数的），对标识符的转换规则，对常数的转换规则等。

2. 语法分析

任务:

在词法分析的基础上，根据语言的语法规则把单词符号串分解成各类语法单位。

依循的原则：

语法规则

描述工具：

上下文无关文法

举例：

在这里插入图片描述

Z := X + 0.618 * Y
算术表达式，赋值语句
在这里插入图片描述

3. 中间代码产生

任务:

对各类不同语法范畴（语句、过程、表达式、函数等）按语言的语义进行初步翻译。

依循的原则：

语义规则

中间代码:

三元式，四元式，逆波兰式、树形结构等

举例：

Z:=X + 0.618 * Y 翻译成四元式为
序号算符左操作数右操作数结果
(1)    *      0.618      Y          T1
(2)    +        X            T1       T2
(3)   :=        T2     /         Z
在这里插入图片描述

4. 优化

任务：

对于前阶段产生的中间代码进行加工变换，以期在最后阶段产生更高效的目标代码。主要包括：公共子表达式提取、合并已知量、删除无用语句、循环优化等。

依循的原则：

程序的等价变换规则

举例：

在这里插入图片描述

5. 目标代码产生

任务:

把中间代码变换成特定机器上的目标代码。

依赖于硬件系统结构和机器指令的含义

目标代码三种形式:

绝对指令代码: 可直接运行
可重新定位指令代码: 需要连接装配
汇编指令代码: 需要进行汇编

举例：

在这里插入图片描述

1.3. 编译程序结构

1、编译程序总框

在这里插入图片描述

2. 表格和表格管理

常见的表格:

符号名表，常数表，标号表，入口名表，过程引用表。

格式:

在这里插入图片描述

3. 出错处理

出错处理程序：

发现源程序中的错误，把有关错误信息报告给用户

错误分类：

语法错误
语义错误

注：编译程序一般很难检测出逻辑错误!

4. 遍(pass)

所谓"遍"，就是对源程序或源程序的中间表示从头到尾扫描一次。
阶段与遍是不同的概念。一遍可以由若干段组成，一个阶段也可以分若干遍来完成。

5. 编译前端与后端

在这里插入图片描述

编译前端：

与源语言有关，如词法分析，语法分析，语义分析与中间代码产生，与机器无关的优化

编译后端：

与目标机有关，与目标机有关的优化，目标代码产生

优点：

减少对内存容量的要求，程序逻辑结构清晰; 优化更充分，有利于移植。

不足:

编译程序运行的效率低

举例：

在这里插入图片描述

1.4.编译程序与程序设计环境

程序设计环境
编辑程序
编译程序
连接程序
调试工具
集成化的程序设计环境

1.5 编译程序生成

以汇编语言和机器语言为工具
优点: 可以针对具体的机器，充分发挥计算机的系统功能。生成的程序效率高。
缺点: 程序难读、难写、易出错、难维护、生产的效率低。

在这里插入图片描述

构造编译程序的前提:

掌握源语言
掌握目标语言
掌握编译方法

总结:

在这里插入图片描述

1、词法分析阶段

这个阶段的任务是从左到右一个字符一个字符地读入源程序，对构成源程序的字符流进行扫描和分解，从而识别出一个个单词（也称单词符号或符号TOKEN）。
某源程序片断如下：
begin var sum, first, count: real; sum:=first+count10 end.
保留字 begin var real end
标识符 sum first count sum first count
界符 .逗号，冒号：分号；加号+ 乘号赋值号：= 整数10 10