高级程序语言和编译

《高级程序语言和编译》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、编译原理第一章高级程序语言和编译本课程解决的主要问题:–如何将源程序翻译成功能等价的目标程序?问题：1.高级语言源程序及语法描述。(被译者)。2.编译程序的结构及构造。(译者)一、高级程序语言及语法规则高级语言程序处理：高级语言程序－>编译程序－>低级语言程序(源程序)（目标程序）1.高级语言程序(1)程序语言：是一个记号系统，由语法和语义来定义。语言三大要素：语法，语义和语用：语法：由基本符号组成语法成分一组规则语义：按语法规则构成的语法成分的意义－>静态语义，动态语义。语用：使用者与语言符号的关系，涉及符号来源，使用和影响。高级语言程序：都可看成一给定字符集（称为字母表）上

2、的一个字符串。合乎语法的字符串才算一个合适的程序。（字符流）程序的构成：基本字符集，单词，句子。基本字符集：ASCII表中的字符。单词：由字符集中的字符组成的最小的语法单位。――――词法分析的对象。标识符保留字（关键字，基本字）常数运算符界符。如：，,；,括号等。句子：按语法规则由单词组成。――语法分析的对象，语义检查的对象。表达式，语句，分程序，函数，过程，程序等。(2)语法规则和语义规则a)什么是语法规则？语法规则词法规则：单词符号的形成规则。语法规则：规定了从单词符号形成更大的结构（即语法单位又称句子）词法和语法规则定义了程序的形式结构，它是判断输入字符串是否构成一个形式

3、上正确的程序的依据。b)语法规则（又称文法）的表示文法的表示BNF范式：便于存储语法图：直观ⅰ>.BNF范式构成：用终结符，非终结符，：：＝和︱等构成的式子来描述文法。例：“标识符”语法成分用BNF范式表示：字母开头的字母数字串：<标识符>：：＝<字母>

4、<标识符><字母>

5、<标识符><数字><字母>：：＝A

6、B

7、C

8、…

9、Y

10、Z

11、a

12、b

13、…

14、z<数字>：：＝0

15、1

16、2

17、3

18、4

19、5

20、6

21、7

22、8

23、9根据标识符定义，可以推出字符串a4是一个标识符：<标识符>=><标识符><数字>=><标识符>4=><字母>4=>a4扩充的BNF范式表示文法的方法将在后面介绍。由箭头，方框和圆框组成的

24、有向图来描述文法。方框中的符号为非终结符；圆框中的符号为终结符；箭头指示了语法单位之间的构成关系。例：“标识符”的语法图标识符字母字母数字ⅱ>.语法图字母ABCZaz……数字012789…c)语义规则定义单词符号及语法单位的含义。（包括语句的动作含义，单词的存储分配的含义等）例：赋值语句，x:=x+1；求表达式x+1的值，且将该值赋给x表示的存储单元。又如：intx;说明分配x表示的单元，该单元的存储空间为一个整数最大值的位数。语义在文法中用属性文法定义。2.程序,文法及编译程序关系：源程序编译程序目标程序语言文法尽管只有少数人去构造或维护编译程序系统。但在软件开发中需要用到编

25、译原理中的技术：词法分析器中的串匹配技术：用于正文编辑器，信息检索系统及模式识别程序中。上下文无关文法和语法制导语义：用于排版绘图和语言结构化编辑器的设计。代码优化技术：用于程序验证器及从非结构化到结构化的编辑器的开发当中。二、编译程序概述1.翻译程序的主要方法翻译程序的基本方法：编译程序法（编译方式）解释程序法（解释方式）a)编译程序法编译程序：将高级语言源程序翻译成等价的机器语言或汇编语言的目标程序。处理方式：ii)高级语言源程序编译程序机器语言目标程序结果初始数据运行系统编译阶段运行阶段ii)机器语言目标程序结果初始数据运行系统运行阶段高级语言源程序编译程序编译阶段汇编语

26、言目标程序汇编程序汇编阶段b)解释程序法解释程序：一边解释，一边执行源程序的翻译程序。注：解释程序不生成目标程序，而编译程序生成目标程序。（两者的区别）2.编译程序的基本结构编译程序一般由五个部分组成：源程序词法分析语法分析语义分析和中间代码生成代码优化目标代码生成表格管理出错处理五个部分的工作分别由对应的五个程序来完成：词法分析程序，语法分析程序，语义分析及中间代码生成程序，代码优化程序，目标代码生成程序。另外再加表格管理程序和出错处理程序――构成编译程序的主要组成部分。注:编译程序各部分之间的逻辑关系，不一定是执行时间上的顺序关系。可用扫描遍数及各遍扫描的工作描述各部分之间

27、的组合。一个编译过程可由一遍、两遍或多遍完成。所谓“遍”是对源程序或某等价的中间语言程序从头到尾扫描并完成规定任务的过程。一遍扫描可以完成一个部分或多个部分的工作。如：一遍扫描完成词法分析；一遍完成词法分析和语法分析，甚至一遍扫描完成整个编译工作。遍数的多少主要参考源程序和机器的特征,以及设计目标;多遍扫描较一遍扫描编译程序占存储空间少，编译程序逻辑结构清晰，但开销大，降低编译效率。前端与后端工作的组合前端工作：主要依赖源语言而与目标机器无关的工作，包括：词法，语法及语义及中间代码生成，某些