系列文章目录
前言
本系列文章旨在记录编译原理的学习过程,如果对你有帮助,欢迎查看系列文章的其他内容。
程序设计语言与编译程序
源语言:用来编写源程序的语言,一般是汇编语言或高级程序语言
源程序:编译器的输入程序称为源程序
目标语言:目标程序的描述语言称为目标语言
目标程序:源程序经过编译后生成的程序称之为目标程序
宿主语言:编译程序的实现语言
编译器的作用地位:
- 人机交互的基本界面
- 软件学科的重要分支,系统软件的重要组成部分
- 用户直接关心的工具
编译程序的分类与执行:
解释程序:接受某语言的源程序将其直接翻译成目标代码且执行
编译程序:接受某语言的源程序将其直接翻译成等价的目标代码,然后执行且允许重读执行
编译程序的表示
1. 函数表示:T=C(S)
2. T型图表示(体现编译程序的三个要素)
3. 符号表示
编译程序的逻辑结构
词法分析-语法分析-语义分析-中间代码生成-代码优化-代码生成
四元式 语义分析与中间代码生成
语义分析是整个编译程序完成的最实质性的翻译任务
编译程序的结构与组织
表格管理:对源程序中的各种量进行管理,登记相应的表格,便于后续查询
出错处理:对源程序中的各种错误检查、定位、定性、报告
遍(Pass)
对源程序或源程序的中间形式从头到尾扫描一遍,并做有关的分析加工,生成新的源程序的中间形式或生成目标程序
遍设置的考虑因素:
宿主机存储容量
编译程序功能的强弱
源语言的繁简及约束
优化因素
设计、实现的环境、工具及人员因素
一遍扫描的编译器
两遍扫描的编译器
思考题
- 编译程序逻辑组织表示的各阶段,其次序可以变动,各阶段的任务也可以进行组合。为什么?次序不可以变动的是哪几个阶段?
- 不同目标机编写相同源语言的编译器时,其设计变化最大的是后端,为什么?
小测
答案在文末,记得先做完再对答案哦~
1.下列选项中,属于声明式语言的是【 】,选择一项:
A. C++
B. C
C. SQL
D. Java
2.下列选项中,不属于静态类型的程序设计语言是【 】,选择一项:
A. C++
B. Python
C. C
D. Java
3.对于动态类型的程序设计语言,最主要的特点是【 】,选择一项:
A. 在程序运行过程中支持内存的动态申请与释放
B. 在程序运行时对数据类型进行相容性检查
C. 程序运行时支持数据类型的动态转换
D. 在编译过程中对数据类型进行相容性检查
4.对于静态强类型的程序设计语言,最主要的特点是【 】,选择一项:
A. 数据类型的相容性检查在编译阶段完成
B. 程序运行过程中变量的数据类型不能随意转换
C. 程序运行过程中不能进行内存动态申请与释放
D. 支持运行时修改代码和对象属性成员
5.编写编译器的语言称为【 】,选择一项:
A. 高级语言
B. 源语言
C. 目标语言
D. 宿主语言
6.宿主机的含义是【 】,选择一项:
A. 编写编译程序的环境
B. 编写应用程序的环境
C. 运行编译程序的环境
D. 应用程序的运行环境
7.设计一个编译器时,非必需的阶段是【 】,选择一项:
a. 代码优化
b. 词法分析
c. 语义处理
d. 语法分析
8.下列语言中,通常情况下采用解释执行方式的是【 】,选择一项:
A. JavaScript
B. C/C++
C. Fortran
D. C#
9.下列编译器的处理过程中,一遍处理能够完成的是【 】,选择一项或多项:
A. 从中间代码到中间代码
B. 从中间代码到目标代码
C. 从源代码到目标代码
D. 从源代码到中间代码
10.实现一个编译器最基本的原则是【 】,选择一项:
A. 优化
B. 易用
C. 高效
D. 等价
【答案】 1 ~ 5 CBBAD 6 ~ 10 CAA(ABCD)D