当前位置:   article > 正文

编译原理(一)编译程序、解释程序、程序设计语言范型_解释型程序的流程

解释型程序的流程
编译原理的地位
  • 是软件技术的基础
  • 是计算机专业的基础课程,是专业必修课
编译原理的作用
  • 编译原理是介绍如何将高级语言程序变换成低级语言程序的方法。
  • 其理论基础坚实,其形式化系统不仅用于编译程序,还大量用于人工智能、多媒体技术、数据库等领域。
程序设计语言
低级程序语言
  • 特定的计算机系统所固有的语言
  • 即:机器语言、汇编语言
  • 特点:执行效率高、编制效率低
高级程序语言
  • 与自然语言比较接近的语言
  • 过程式语言:C, Pascal, Fortran,
  • ADA 对象式语言:Java, C++ 等
  • 函数式语言:LISP
  • 逻辑式语言:Prolog
  • 特点:执行效率低、编制效率高
1.1 什么是编译程序
一、编译程序(又称“编译器”)
  • 是语言的翻译器
  • 功能:高级语言的源程序低级语言的目标程序
  • 重要性:使编程者不必考虑与机器有关的细节
  • 本课程主要研究:顺序过程式语言的编译原理和技术
二、高级语言程序的处理过程

在这里插入图片描述

三、编译程序的分类
  • 一趟编译
  • 多趟编译
  • 具有调试、优化功能的编译

都使用相同的基本编译技术!!

四、编译程序的历史和发展
  1. 20世纪50年代早期:将计算公式翻译成机器码
  2. 20世纪50年代中期:出现了FORTRAN等一批高级语言
    (也就出现了相应的编译程序)
  3. 20世纪50年代后期:出现了编译程序的编译程序
    (即编译程序的自动生成工具,如:LEX、YACC)
  4. 20世纪60年代:用自展技术构造编译程序
    (用被编译语言书写其自身的编译程序,1971年PASCAL的成功)
  5. 并行技术与并行语言的发展:——发展方向
    并行语言的并行编译
    自动并行编译技术(将串行程序转换成并行程序)
1.2 编译过程和编译程序的结构
一、编译过程

在这里插入图片描述

1 词法分析

任务:
从左到右读入源程序的每个字符,对构成源程序的字符流进行扫描和分解,从而识别出一个个单词(也叫单词符号符号)。
单词是具有独立意义的最小语法单位。
如:标识符保留字(关键字或基本字)、算符界符常数等。

例. 某源程序片断如下:

begin
    var  sum , first , count : real ;
    sum := first + count * 10
end.
  • 1
  • 2
  • 3
  • 4
  • 保留字 begin
  • 保留字 var
  • 标识符 sum
  • 逗号 ,
  • 标识符 first
  • 逗号 ,
  • 标识符 count
  • 冒号 :
  • 保留字 real
  • 分号 ;
  • 标识符 sum
  • 赋值号 :=
  • 标识符 first
  • 加号 +
  • 标识符 count
  • 乘号 *
  • 整数 10
  • 保留字 end
  • 界符 .
2 语法分析

任务:

  • 依据语言的语法规则,确定源程序的输入串是否构成一个语法上正确的程序。
  • 最终将单词序列分解成各类语法短语(也叫语法单位),如“程序”、“语句”、“表达式”等。

语法:由程序语言基本符号组成程序中各个语法成分的一组规则。

  • 一般语法规则 :由单词符号构成语法成分的规则;
  • 词法规则 :由基本符号构成的符号书写规则。
    在这里插入图片描述
    在这里插入图片描述
程序结构的递归表示

表达式的表示
1)任何标识符是表达式。
2)任何常数(整常数、实常数)是表达式。
3)若表达式1和表达式2都是表达式,那么
表达式1+表达式2
表达式1*表达式2
(表达式1)

都是表达式。
语句的表示:
1)标识符:=表达式 是语句
2)while (表达式) do 语句 是语句
3)if(表达式) then 语句 else 语句 是语句

3 语义分析

任务:审查源程序有无语义错误,为代码生成阶段收集类型信息
主要功能:类型检查、报语义错误、类型转换等

语义:是程序设计语言中按语法规则构成的各个语法成分的意义。

  • 静态语义:编译时刻即可确定的语法成分含义。
  • 动态语义:运行时刻才能确定的语法成分含义。

在这里插入图片描述

4 中间代码生成

任务:
在语法和语义分析之后,将源程序变成一种“内部表示形式”。
中间代码:一种结构简单、含义明确的记号系统。
特征:
1)结构简单、含义明确
2)复杂性介于源语言和机器语言之间
3)容易生成;
4)容易将它翻译成目标代码。
四元式:
(运算符,运算对象1,运算对象2,结果)
四元式例子

5 代码优化

任务:对中间代码进行变换或改造,使之更为高效(时间、空间)。
代码优化

6 目标代码生成

任务:
把中间代码变换成特定机器上的绝对指令代码或可重定位的机器指令代码汇编指令代码
特点:
1)与硬件系统结构和指令含义有关,涉及到硬件系统功能部件的运用、机器指令的选择、各种数据类型变量的存储空间分配以及寄存器和后缓寄存器的调度等。
2)高级语言低级语言转换是基于语义的等价变换,不是结构上的变换。
在这里插入图片描述

表格管理

任务:用于保存源程序的各种信息。因为上述各阶段工作均需要查找、更新、构造表格。

出错处理

任务:报告源程序中错误的性质、地点,将错误所造成的影响限制在尽可能小的范围。有些编译程序还可以自动纠错。
一个程序是正确的,包括两层含义:
1)书写正确(合乎语法规则)
2)含义正确(合乎语义规则)

注意
多数实用的编译程序都采用以上几个阶段的工作过程。
有些编译程序没有“中间代码生成”和“代码优化”

二、编译程序的结构

在这里插入图片描述

三、编译阶段的组合

前端:主要依赖于源语言而与目标机器无关的编译阶段。如:词法分析、语法分析、语义分析、中间代码生成、部分代码优化、与前端有关的出错处理工作和表格管理工作。

后端:依赖于目标机而一般不依赖于源语言,只与中间代码有关的编译阶段。如:目标代码生成,以及相关出错处理和表格处理。

遍(趟):对源程序或其等价的中间语言程序从头到尾扫视并完成规定任务的过程。每一遍扫视可完成编译的一个阶段或多个阶段工作。

  • 多遍编译:占内存少,逻辑结构清晰,耗时长
  • 一遍编译:占内存多,逻辑结构不清晰,耗时短
1.3 解释程序和一些软件工具
一、解释程序

接受高级语言程序,并立即运行这个源程序。
例如:BASIC语言解释程序,LISP解释程序,SQL解释程序,Java语言中的BYTECODE解释程序
在这里插入图片描述

二、解释程序与编译程序的比较

在这里插入图片描述
编译与解释的根本区别是否生成目标代码

三、解释程序的优、缺点

优点:可移植性较好。
缺点:(1)速度慢
(2)空间开销大

有些语言既有编译程序,又有解释程序。如java

四、处理源程序的软件工具

1 语言的结构化编辑器
正文编辑、修改
对源程序正文进行分析(检查用户输入是否正确、自动提供关键字、检查括号的匹配情况)

2 语言程序的调试工具
了解程序执行的结果与编程人员的意图是否一致
允许用户一行一行跟踪程序,查看变量值的变化

3 程序格式化工具
分析源程序,并使程序结构变得清晰可读(如缩排)

4 语言程序测试工具
静态分析器:不运行源程序,就可以发现其中潜藏的错误或异常。
动态分析器:对源程序进行分析,把记录和显示程序执行轨迹的语句或函数插入源程序,将运行结果与期望结果进行比较和分析。

5 程序理解工具
对程序进行分析,确定模块间的调用关系,并画出控制流程图。

6 高级语言之间的转换工具
将一种高级语言程序转换成另一种高级语言程序

1.4 程序设计语言范型
一、强制式语言(过程式语言、命令式语言)

由一系列的语句组成,每个语句的执行引起若干存储单元中值的改变。
如:C,Fortran,Pascal

二、函数式语言(应用式语言)

从前面已有的函数出发构造出更复杂的函数。
Function n(…Function 2(Function 1(data))…)
如:ML,LISP

三、基于规则的语言(基于逻辑的语言)

检查一定的使能条件,当它满足时,则执行适当的动作。
条件---->动作
如:PROLOG

四、面向对象语言

提供抽象数据类型,支持封装性、继承性和多态性。
如:Ada,C++,Java

练习

在这里插入图片描述
答案:ACAC
在这里插入图片描述
答案:BD
在这里插入图片描述
答案:BDAC
在这里插入图片描述
答案:
(1)词法分析、语法分析、语义分析、中间代码生成、代码优化、目标代码生成。
(2)表格管理
(3)出错处理
在这里插入图片描述
答案:CB
在这里插入图片描述
答案:BCE
在这里插入图片描述
答案:(1)表格处理和出错处理
(2)中间代码生成(3) 代码优化
(4)单词 (5)语法错误
在这里插入图片描述
答案:ABD
在这里插入图片描述
答案:ABCF
因为代码优化是为了提高目标程序的质量,不是必须的,没有优化源程序一样能够转化为目标代码。而中间代码生成是为代码优化服务的,没有代码优化的编译器可以直接生成目标代码。
在这里插入图片描述
答案:BCD
在这里插入图片描述
答案:(1)B E (2) D (3) B

12、判断:“含有代码优化的编译器的执行效率高”。

答案:错。含有代码优化的编译器,其优化是指对生成的目标代码进行了优化,而不是编译器本身得到了优化,所以,它提高的是目标代码的执行效率,而不是编译器本身的执行效率。

13. 判断:“解释方式与编译方式的区别在于解释程序对源程序没有真正进行翻译”。
答案:错。编译方式和解释方式实际上都进行的翻译,只是编译相当于笔译,而解释相当于口译。 解释方式下,不将于源程序彻底翻译成目标代码,而是每读入一条语句,将其翻译成中间代码,解释其含义并执行,然后再读入下一条语句,再翻译执行。 编译方式和解释方式的根本区别在于“是否生成了目标代码”

声明:本文内容由网友自发贡献,不代表【wpsshop博客】立场,版权归原作者所有,本站不承担相应法律责任。如您发现有侵权的内容,请联系我们。转载请注明出处:https://www.wpsshop.cn/w/凡人多烦事01/article/detail/464214
推荐阅读
相关标签
  

闽ICP备14008679号