第1章-引论优秀PPT.ppt

《第1章-引论优秀PPT.ppt》由会员分享，可在线阅读，更多相关《第1章-引论优秀PPT.ppt（43页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、1学习任务和学习方法学习任务和学习方法学习任务学习任务驾驭编译的理论基础和形式化系统驾驭编译的理论基础和形式化系统了解编译的全部过程和具体实现方法（试验）了解编译的全部过程和具体实现方法（试验）学习方法学习方法细致听课，理解基本概念、基本原理和基本细致听课，理解基本概念、基本原理和基本算法。算法。弄懂例题，独立完成课后作业。弄懂例题，独立完成课后作业。细致总结每章的要点，在理解的基础上记忆。细致总结每章的要点，在理解的基础上记忆。理论结合实践，细致独立地完成试验。理论结合实践，细致独立地完成试验。2成果考核方法成果考核方法（1 1）平常成果）平常成果 3040%3040%课堂点名课堂点名 if

2、(if(旷课次数旷课次数/点名次数点名次数 30%)30%)取消考试资格取消考试资格 或或 交一份由辅导员交一份由辅导员+班主任两班主任两人签字的允许考试证明人签字的允许考试证明;平常作业平常作业 上机试验上机试验 （2 2）考试成果）考试成果 7060%7060%3第第1 1章章 引论引论l1.1 1.1 什么是编译程序什么是编译程序l1.2 1.2 编译过程和编译程序的结构编译过程和编译程序的结构l1.2.1 1.2.1 编译过程编译过程l1.2.2 1.2.2 编译程序结构编译程序结构l1.2.3 1.2.3 编译阶段的组合编译阶段的组合l1.3 1.3 说明程序和一些软件工具说明程序和

3、一些软件工具l1.3.1 1.3.1 说明程序说明程序l1.3.2 1.3.2 处理源程序的软件工具处理源程序的软件工具l1.4 1.4 程序设计语言范型程序设计语言范型4程序设计语言程序设计语言低级语言低级语言l特定的计算机系统所固有的语言特定的计算机系统所固有的语言l即：机器语言、汇编语言即：机器语言、汇编语言l特点：执行效率高、编制效率低特点：执行效率高、编制效率低高级语言高级语言l与自然语言比较接近的语言与自然语言比较接近的语言l如：如：l过程式语言：过程式语言：C,Pascal,Fortran,ADAC,Pascal,Fortran,ADAl对象式语言：对象式语言：Java,C+Ja

4、va,C+等等l函数式语言：函数式语言：LISPLISPl逻辑式语言：逻辑式语言：PrologPrologl特点：执行效率低、编制效率高特点：执行效率低、编制效率高51.1 1.1 什么是编译程序什么是编译程序一、编译程序（又称一、编译程序（又称“编译器编译器”）是语言的翻译器是语言的翻译器功能：高级语言的源程序功能：高级语言的源程序低级语言的目标程序低级语言的目标程序重要性：使编程者不必考虑与机器有关的细微环节重要性：使编程者不必考虑与机器有关的细微环节本课程主要探讨：依次过程式语言的编译原理和技术本课程主要探讨：依次过程式语言的编译原理和技术源程序源程序预处理程序预处理程序源程序源程序编译

5、程序编译程序汇编程序汇编程序装配装配/连接程序连接程序目标汇编程序目标汇编程序可再装配的机器代码可再装配的机器代码绝对机器代码绝对机器代码将机器代码与一些库文件连接将机器代码与一些库文件连接汇集分散的源程序、宏展开、汇集分散的源程序、宏展开、二、高级语言程序的处理过程二、高级语言程序的处理过程二、高级语言程序的处理过程二、高级语言程序的处理过程7三、编译程序的分类三、编译程序的分类l一趟编译l多趟编译l具有调试、优化功能的编译l都运用相同的基本编译技术！81、20世纪50年头早期：将计算公式翻译成机器码2、20世纪50年头中期：出现了FORTRAN等一批高级语言（也就出现了相应的编译程序）3、

6、20世纪50年头后期：出现了编译程序的编译程序（即编译程序的自动生成工具，如：LEX、YACC）4、20世纪60年头：用自展技术构造编译程序（用被编译语言书写其自身的编译程序，1971年PASCAL的成功）5、并行技术与并行语言的发展：发展方向并行语言的并行编译自动并行编译技术（将串行程序转换成并行程序）四、编译程序的历史和发展四、编译程序的历史和发展91.2编译过程和编译程序的结构编译过程和编译程序的结构一、编译过程表表 格格 管管 理理词法分析词法分析语法分析语法分析语义分析语义分析中间代码生成中间代码生成代码优化代码优化目标代码生成目标代码生成出出 错错 处处 理理源程序源程序目标程序目

7、标程序1 词法分析词法分析任务：任务：任务：任务：从左到右读入源程序的每个字符，对构成源程序的从左到右读入源程序的每个字符，对构成源程序的从左到右读入源程序的每个字符，对构成源程序的从左到右读入源程序的每个字符，对构成源程序的字符流进行扫描和分解，从而识别出一个个字符流进行扫描和分解，从而识别出一个个字符流进行扫描和分解，从而识别出一个个字符流进行扫描和分解，从而识别出一个个单词单词单词单词（也叫（也叫（也叫（也叫单词符号单词符号单词符号单词符号或或或或符号符号符号符号）。）。）。）。单词单词单词单词是具有独立意义的是具有独立意义的是具有独立意义的是具有独立意义的最小语法单位最小语法单位最小语

8、法单位最小语法单位。如：如：如：如：标识符标识符标识符标识符、保留字保留字保留字保留字（关键字或基本字）、（关键字或基本字）、（关键字或基本字）、（关键字或基本字）、算符算符算符算符、界符界符界符界符、常数常数常数常数等。等。等。等。例例例例.某源程序片断如下：某源程序片断如下：某源程序片断如下：某源程序片断如下：beginbegin var sum,first,count:real;var sum,first,count:real;sum:=first+count*10 sum:=first+count*10end.end.1.1.1.1.保留字保留字保留字保留字beginbeginbegi

9、nbegin2.2.2.2.保留字保留字保留字保留字varvarvarvar3.3.3.3.标识符标识符标识符标识符sumsumsumsum4.4.4.4.逗号逗号逗号逗号,5.5.5.5.标识符标识符标识符标识符firstfirstfirstfirst6.6.6.6.逗号逗号逗号逗号,7.7.7.7.标识符标识符标识符标识符countcountcountcount8.8.8.8.冒号冒号冒号冒号:9.9.9.9.保留字保留字保留字保留字realrealrealreal10.10.10.10.分号分号分号分号;11.11.11.11.标识符标识符标识符标识符sumsumsumsum12.12.

10、12.12.赋值号赋值号赋值号赋值号:=:=:=:=13.13.13.13.标识符标识符标识符标识符firstfirstfirstfirst14.14.14.14.加号加号加号加号+15.15.15.15.标识符标识符标识符标识符countcountcountcount16.16.16.16.乘号乘号乘号乘号*17.17.17.17.整数整数整数整数1010101018.18.18.18.保留字保留字保留字保留字endendendend19.19.19.19.界符界符界符界符.2 语法分析语法分析任务：任务：任务：任务：依据语言的依据语言的依据语言的依据语言的语法规则语法规则语法规则语法规则，

11、确定源程序的输入串是否，确定源程序的输入串是否，确定源程序的输入串是否，确定源程序的输入串是否构成一个语法上正确的程序。构成一个语法上正确的程序。构成一个语法上正确的程序。构成一个语法上正确的程序。最终将单词序列分解成各类最终将单词序列分解成各类最终将单词序列分解成各类最终将单词序列分解成各类语法短语语法短语语法短语语法短语（也叫（也叫（也叫（也叫语法语法语法语法单位单位单位单位），如），如），如），如“程序程序程序程序”、“语句语句语句语句”、“表达式表达式表达式表达式”等。等。等。等。语法语法：由程序语言基本符号组成：由程序语言基本符号组成程序中各个语法成分程序中各个语法成分的一的一组规则

12、。组规则。一般语法规则一般语法规则：由单词符号构成语法成分的规则；：由单词符号构成语法成分的规则；词法规则词法规则：由基本符号构成的符号书写规则。：由基本符号构成的符号书写规则。举例：举例：举例：举例：id1:=id2+id3*10id1:=id2+id3*10id1:=id2+id3*10id1:=id2+id3*10 的语法树的语法树的语法树的语法树赋值语句赋值语句标识符标识符表达式表达式表达式表达式+表达式表达式表达式表达式标识符标识符整数整数标识符标识符:=:=:=:=表达式表达式*id1id1id1id1sumsumsumsumid2id2id2id2firstfirstfirstf

13、irstid3id3id3id3countcountcountcount10101010id1:=id2+id3*10id1:=id2+id3*10id1:=id2+id3*10id1:=id2+id3*10 的语法树的另一种形式的语法树的另一种形式的语法树的另一种形式的语法树的另一种形式:=:=id1id1+id2id2*id3id31010程序结构的递归表示程序结构的递归表示程序结构的递归表示程序结构的递归表示 表达式的表示：表达式的表示：表达式的表示：表达式的表示：1 1 1 1）任何）任何）任何）任何标识符标识符标识符标识符是表达式。是表达式。是表达式。是表达式。2 2 2 2）任何）

14、任何）任何）任何常数常数常数常数（整常数、实常数）是表达式。（整常数、实常数）是表达式。（整常数、实常数）是表达式。（整常数、实常数）是表达式。3 3 3 3）若表达式）若表达式）若表达式）若表达式1 1 1 1和表达式和表达式和表达式和表达式2 2 2 2都是表达式，那么都是表达式，那么都是表达式，那么都是表达式，那么表达式表达式表达式表达式1+1+1+1+表达式表达式表达式表达式2 2 2 2表达式表达式表达式表达式1*1*1*1*表达式表达式表达式表达式2 2 2 2（表达式（表达式（表达式（表达式1 1 1 1）都是表达式。都是表达式。都是表达式。都是表达式。语句的表示：语句的表示：语

15、句的表示：语句的表示：1 1 1 1）标识符标识符标识符标识符:=:=:=:=表达式表达式表达式表达式 是语句是语句是语句是语句2 2 2 2）while(while(while(while(表达式表达式表达式表达式)do do do do 语句语句语句语句 是语句是语句是语句是语句3 3 3 3）if(if(if(if(表达式表达式表达式表达式)then then then then 语句语句语句语句 else else else else 语句语句语句语句 是语句是语句是语句是语句163 语义分析语义分析任务：审查源程序有无任务：审查源程序有无语义错误语义错误，为代码生成阶段，为代码生成阶

16、段收集类收集类型信息型信息。主要功能：类型检查、报语义错误、类型转换等主要功能：类型检查、报语义错误、类型转换等语义语义：是程序设计语言中按语法规则构成的各个语法成：是程序设计语言中按语法规则构成的各个语法成分的意义。分的意义。静态语义静态语义：编译时刻编译时刻即可确定的语法成分含义。即可确定的语法成分含义。动态语义动态语义：运行时刻运行时刻才能确定的语法成分含义。才能确定的语法成分含义。:=:=id1id1+id2id2*id3id31010inttorealinttorealreal first,count,sumreal first,count,sumsum:=first+count*1

17、0sum:=first+count*10举例：类型检查和转换举例：类型检查和转换4 中间代码生成中间代码生成任务：任务：任务：任务：在语法和语义分析之后，将源程序变成一种在语法和语义分析之后，将源程序变成一种在语法和语义分析之后，将源程序变成一种在语法和语义分析之后，将源程序变成一种“内部表内部表内部表内部表示形式示形式示形式示形式”。中间代码：一种结构简洁、含义明确的记号系统。中间代码：一种结构简洁、含义明确的记号系统。中间代码：一种结构简洁、含义明确的记号系统。中间代码：一种结构简洁、含义明确的记号系统。特征：特征：特征：特征：1 1 1 1）结构简洁、含义明确）结构简洁、含义明确）结构简

18、洁、含义明确）结构简洁、含义明确2 2 2 2）困难性介于源语言和机器语言之间）困难性介于源语言和机器语言之间）困难性介于源语言和机器语言之间）困难性介于源语言和机器语言之间3 3 3 3）简洁生成；）简洁生成；）简洁生成；）简洁生成；4 4 4 4）简洁将它翻译成目标代码。）简洁将它翻译成目标代码。）简洁将它翻译成目标代码。）简洁将它翻译成目标代码。四元式：四元式：四元式：四元式：（运算符，运算对象（运算符，运算对象（运算符，运算对象（运算符，运算对象1 1 1 1，运算对象，运算对象，运算对象，运算对象2 2 2 2，结果），结果），结果），结果）四元式：四元式：四元式：四元式：（运算符，

19、运算对象（运算符，运算对象（运算符，运算对象（运算符，运算对象1 1 1 1，运算对象，运算对象，运算对象，运算对象2 2 2 2，结果），结果），结果），结果）举例：源程序举例：源程序举例：源程序举例：源程序 sum:=first+count*10 sum:=first+count*10 sum:=first+count*10 sum:=first+count*10生成的四元式可以是：生成的四元式可以是：生成的四元式可以是：生成的四元式可以是：(inttoreal,(inttoreal,(inttoreal,(inttoreal,10,10,10,10,-,-,-,-,t1 )t1 )t1

20、)t1 )(*(*(*(*,id3,id3,id3,id3,t1,t1,t1,t1,t2 )t2 )t2 )t2 )(+(+(+(+,id2,id2,id2,id2,t2,t2,t2,t2,t3 )t3 )t3 )t3 )(:=(:=(:=(:=,t3,t3,t3,t3,-,-,-,-,id1)id1)id1)id1):=:=id1id1+id2id2*id3id31010inttorealinttoreal205 代码优化代码优化任务：任务：任务：任务：对中间代码进行变换或改造，使之更为对中间代码进行变换或改造，使之更为对中间代码进行变换或改造，使之更为对中间代码进行变换或改造，使之更为高效

21、（时间、空间）。高效（时间、空间）。高效（时间、空间）。高效（时间、空间）。(inttoreal,(inttoreal,10,10,-,-,t1 )t1 )(*(*,id3,id3,t1,t1,t2 )t2 )(+(+,id2,id2,t2,t2,t3 )t3 )(:=(:=,t3,t3,-,-,id1)id1)(*,(*,id3,id3,10.0,10.0,t2 )t2 )(+,(+,id2,id2,t2,t2,id1)id1)(*(*id3id310.010.0t1 )t1 )(+(+id2id2t1t1id1)id1)6 目标代码生成目标代码生成任务任务任务任务：把中间代码变换成特定机器

22、上的绝对指令代码或把中间代码变换成特定机器上的绝对指令代码或把中间代码变换成特定机器上的绝对指令代码或把中间代码变换成特定机器上的绝对指令代码或可重定位的可重定位的可重定位的可重定位的机器指令代码机器指令代码机器指令代码机器指令代码或或或或汇编指令代码汇编指令代码汇编指令代码汇编指令代码。特点特点特点特点：1 1 1 1）与硬件系统结构和指令含义有关，涉及到硬）与硬件系统结构和指令含义有关，涉及到硬）与硬件系统结构和指令含义有关，涉及到硬）与硬件系统结构和指令含义有关，涉及到硬件系统功能部件的运用、机器指令的选择、各种件系统功能部件的运用、机器指令的选择、各种件系统功能部件的运用、机器指令的选

23、择、各种件系统功能部件的运用、机器指令的选择、各种数据类型变量的存储空间分配以及寄存器和后缓数据类型变量的存储空间分配以及寄存器和后缓数据类型变量的存储空间分配以及寄存器和后缓数据类型变量的存储空间分配以及寄存器和后缓寄存器的调度等。寄存器的调度等。寄存器的调度等。寄存器的调度等。2 2 2 2）高级语言）高级语言）高级语言）高级语言低级语言转换是低级语言转换是低级语言转换是低级语言转换是基于语义基于语义基于语义基于语义的等价的等价的等价的等价变换，不是结构上的变换。变换，不是结构上的变换。变换，不是结构上的变换。变换，不是结构上的变换。(*(*id3id310.010.0t1 )t1 )(+

24、(+id2id2t1t1id1)id1)sum:=first+count*10sum:=first+count*10MOVFMOVFid3,id3,R R2 2MULFMULF#10.0,#10.0,R R2 2MOVFMOVFid2,id2,R R1 1ADDFADDFR R1 1,R R2 2MOVMOVR R1 1,id1id123表格管理表格管理任务：任务：任务：任务：用于保存源程序的各种信息。因为上述各阶用于保存源程序的各种信息。因为上述各阶用于保存源程序的各种信息。因为上述各阶用于保存源程序的各种信息。因为上述各阶段工作均需要查找、更新、构造表格。段工作均需要查找、更新、构造表格。

25、段工作均需要查找、更新、构造表格。段工作均需要查找、更新、构造表格。出错处理出错处理任务：任务：任务：任务：报告源程序中错误的性质、地点，将错误所报告源程序中错误的性质、地点，将错误所报告源程序中错误的性质、地点，将错误所报告源程序中错误的性质、地点，将错误所造成的影响限制在尽可能小的范围。有些编译程序造成的影响限制在尽可能小的范围。有些编译程序造成的影响限制在尽可能小的范围。有些编译程序造成的影响限制在尽可能小的范围。有些编译程序还可以自动纠错。还可以自动纠错。还可以自动纠错。还可以自动纠错。一个程序是正确的，包括两层含义：一个程序是正确的，包括两层含义：1 1）书写正确书写正确（合乎语法规

26、则）（合乎语法规则）2 2）含义正确含义正确（合乎语义规则）（合乎语义规则）说明说明多数实用的编译程序都采用以上几个阶段的工作过程。多数实用的编译程序都采用以上几个阶段的工作过程。多数实用的编译程序都采用以上几个阶段的工作过程。多数实用的编译程序都采用以上几个阶段的工作过程。有些编译程序没有有些编译程序没有有些编译程序没有有些编译程序没有“中间代码生成中间代码生成中间代码生成中间代码生成”和和和和“代码优化代码优化代码优化代码优化”。二、编译程序的结构二、编译程序的结构二、编译程序的结构二、编译程序的结构表表 格格 管管 理理 程程 序序词法分析词法分析程序程序语法分析语法分析程序程序语义分析

27、语义分析程序程序中间代码生成中间代码生成程序程序代码优化代码优化程序程序目标代码生成目标代码生成程序程序出出 错错 处处 理理 程程 序序源程序源程序目标程序目标程序三、编译阶段的组合三、编译阶段的组合三、编译阶段的组合三、编译阶段的组合前端：主要依靠于源语言而与目标机器无关的编前端：主要依靠于源语言而与目标机器无关的编前端：主要依靠于源语言而与目标机器无关的编前端：主要依靠于源语言而与目标机器无关的编译阶段。如：词法分析、语法分析、语义分析、译阶段。如：词法分析、语法分析、语义分析、译阶段。如：词法分析、语法分析、语义分析、译阶段。如：词法分析、语法分析、语义分析、中间代码生成、部分代码优化

28、、与前端有关的出中间代码生成、部分代码优化、与前端有关的出中间代码生成、部分代码优化、与前端有关的出中间代码生成、部分代码优化、与前端有关的出错处理工作和表格管理工作。错处理工作和表格管理工作。错处理工作和表格管理工作。错处理工作和表格管理工作。后端：依靠于目标机而一般不依靠于源语言，只后端：依靠于目标机而一般不依靠于源语言，只后端：依靠于目标机而一般不依靠于源语言，只后端：依靠于目标机而一般不依靠于源语言，只与中间代码有关的编译阶段。如：目标代码生成，与中间代码有关的编译阶段。如：目标代码生成，与中间代码有关的编译阶段。如：目标代码生成，与中间代码有关的编译阶段。如：目标代码生成，以及相关出

29、错处理和表格处理。以及相关出错处理和表格处理。以及相关出错处理和表格处理。以及相关出错处理和表格处理。遍（趟）：对源程序或其等价的中间语言程序从遍（趟）：对源程序或其等价的中间语言程序从遍（趟）：对源程序或其等价的中间语言程序从遍（趟）：对源程序或其等价的中间语言程序从头到尾扫视并完成规定任务的过程。每一遍扫视头到尾扫视并完成规定任务的过程。每一遍扫视头到尾扫视并完成规定任务的过程。每一遍扫视头到尾扫视并完成规定任务的过程。每一遍扫视可完成编译的一个阶段或多个阶段工作。可完成编译的一个阶段或多个阶段工作。可完成编译的一个阶段或多个阶段工作。可完成编译的一个阶段或多个阶段工作。多遍编译：占内存少

30、，逻辑结构清晰，耗时长多遍编译：占内存少，逻辑结构清晰，耗时长多遍编译：占内存少，逻辑结构清晰，耗时长多遍编译：占内存少，逻辑结构清晰，耗时长一遍编译：占内存多，逻辑结构不清晰，耗时短一遍编译：占内存多，逻辑结构不清晰，耗时短一遍编译：占内存多，逻辑结构不清晰，耗时短一遍编译：占内存多，逻辑结构不清晰，耗时短261.3 1.3 说明程序和一些软件工具说明程序和一些软件工具一、说明程序一、说明程序接受高级语言程序，并马上运行这个源程序。接受高级语言程序，并马上运行这个源程序。接受高级语言程序，并马上运行这个源程序。接受高级语言程序，并马上运行这个源程序。例如：例如：例如：例如：BASICBASI

31、CBASICBASIC语言说明程序，语言说明程序，语言说明程序，语言说明程序，LISPLISPLISPLISP说明程序，说明程序，说明程序，说明程序，SQLSQLSQLSQL说明程序，说明程序，说明程序，说明程序，JavaJavaJavaJava语言中的语言中的语言中的语言中的BYTECODEBYTECODEBYTECODEBYTECODE说明程序说明程序说明程序说明程序说明程序说明程序源程序源程序输入数据输入数据结果结果编译程序编译程序高级语言程序高级语言程序（源程序）（源程序）低级语言程序低级语言程序（目标程序）（目标程序）说明程序说明程序源程序源程序结果结果输入数据输入数据运行程序运行程

32、序输入数据输入数据结结果果编译与说明的根本区分：是否生成目标代码。编译与说明的根本区分：是否生成目标代码。编译与说明的根本区分：是否生成目标代码。编译与说明的根本区分：是否生成目标代码。二、说明程序与编译程序的比较二、说明程序与编译程序的比较28三、说明程序的优、缺点三、说明程序的优、缺点三、说明程序的优、缺点三、说明程序的优、缺点优点：可移植性较好。优点：可移植性较好。优点：可移植性较好。优点：可移植性较好。缺点：（缺点：（缺点：（缺点：（1 1 1 1）速度慢）速度慢）速度慢）速度慢 （2 2 2 2）空间开销大）空间开销大）空间开销大）空间开销大有些语言既有编译程序，又有说明程序。如有些

33、语言既有编译程序，又有说明程序。如有些语言既有编译程序，又有说明程序。如有些语言既有编译程序，又有说明程序。如javajavajavajava四、处理源程序的软件工具四、处理源程序的软件工具1 语言的结构化编辑器语言的结构化编辑器 正文编辑、修改正文编辑、修改 对源程序正文进行分析（检查用户输入是否对源程序正文进行分析（检查用户输入是否正确、自动供应关键字、检查括号的匹配状正确、自动供应关键字、检查括号的匹配状况）况）2 语言程序的调试工具语言程序的调试工具 了解程序执行的结果与编程人员的意图是否了解程序执行的结果与编程人员的意图是否一样一样 允许用户一行一行跟踪程序，查看变量值的允许用户一行

34、一行跟踪程序，查看变量值的变更变更3 程序格式化工具程序格式化工具 分析源程序，并使程序结构变得清晰可读分析源程序，并使程序结构变得清晰可读（如缩排）（如缩排）30四、处理源程序的软件工具四、处理源程序的软件工具4 语言程序测试工具语言程序测试工具 静态分析器：不运行源程序，就可以发觉其静态分析器：不运行源程序，就可以发觉其中潜藏的错误或异样。中潜藏的错误或异样。动态分析器：对源程序进行分析，把记录和动态分析器：对源程序进行分析，把记录和显示程序执行轨迹的语句或函数插入源程序，显示程序执行轨迹的语句或函数插入源程序，将运行结果与期望结果进行比较和分析。将运行结果与期望结果进行比较和分析。5 程

35、序理解工具程序理解工具 对程序进行分析，确定模块间的调用关系，对程序进行分析，确定模块间的调用关系，并画出限制流程图。并画出限制流程图。6 高级语言之间的转换工具高级语言之间的转换工具 将一种高级语言程序转换成另一种高级语言将一种高级语言程序转换成另一种高级语言程序程序311.4 1.4 程序设计语言范型程序设计语言范型一、强制式语言（过程式语言、吩咐式语言）由一系列的语句组成，每个语句的执行引起若干存储单元中由一系列的语句组成，每个语句的执行引起若干存储单元中由一系列的语句组成，每个语句的执行引起若干存储单元中由一系列的语句组成，每个语句的执行引起若干存储单元中值的变更。值的变更。值的变更。

36、值的变更。如：如：如：如：C C C C，FortranFortranFortranFortran，PascalPascalPascalPascal二、函数式语言（应用式语言）从前面已有的函数动身构造出更困难的函数。从前面已有的函数动身构造出更困难的函数。从前面已有的函数动身构造出更困难的函数。从前面已有的函数动身构造出更困难的函数。Function n(Function 2(Function 1(data)Function n(Function 2(Function 1(data)Function n(Function 2(Function 1(data)Function n(Functio

37、n 2(Function 1(data)如：如：如：如：MLMLMLML，LISPLISPLISPLISP321.4 1.4 程序设计语言范型程序设计语言范型三、基于规则的语言（基于逻辑的语言）检查确定的使能条件，当它满足时，则执行适当的动作。检查确定的使能条件，当它满足时，则执行适当的动作。检查确定的使能条件，当它满足时，则执行适当的动作。检查确定的使能条件，当它满足时，则执行适当的动作。条件条件条件条件 动作动作动作动作如：如：如：如：PROLOGPROLOGPROLOGPROLOG四、面对对象语言供应抽象数据类型，支持封装性、继承性和多态性。供应抽象数据类型，支持封装性、继承性和多态性。

38、供应抽象数据类型，支持封装性、继承性和多态性。供应抽象数据类型，支持封装性、继承性和多态性。如：如：如：如：AdaAdaAdaAda，C+C+C+C+，JavaJavaJavaJava33练习练习1 1、程序语言一般分为、程序语言一般分为 （1 1）和和 （2 2）两大类。其两大类。其中中 （3 3）与人类自然语言比较接近，（与人类自然语言比较接近，（4 4）又称）又称为面对机器的语言。为面对机器的语言。A A 高级语言高级语言B B 专用程序语言专用程序语言C C 低级语言低级语言D D 通用程序语言通用程序语言A C A CA C A C34练习练习2 2、面对机器的语言是指（、面对机器的

39、语言是指（1 1），其特点是（，其特点是（2 2）。（1 1）A.A.用于解决机器硬件设计问题的语言用于解决机器硬件设计问题的语言B.B.特定计算机系统所固有的语言特定计算机系统所固有的语言C.C.各种计算机系统都通用的语言各种计算机系统都通用的语言D.D.只能在一台计算机上运用的语言只能在一台计算机上运用的语言（2 2）A.A.程序执行效率低，编写效率低，可读性差程序执行效率低，编写效率低，可读性差B.B.程序执行效率低，编写效率高，可读性强程序执行效率低，编写效率高，可读性强C.C.程序执行效率高，编写效率高，可读性强程序执行效率高，编写效率高，可读性强D.D.程序执行效率高，编写效率低，

40、可读性差程序执行效率高，编写效率低，可读性差B D B D 35练习练习3 3、编译程序是将、编译程序是将 （1 1）翻译成翻译成 （2 2）；汇编程序；汇编程序是将是将 （3 3）翻译成翻译成 （4 4）。A.A.汇编语言程序汇编语言程序B.B.高级语言程序高级语言程序C.C.机器语言程序机器语言程序D.D.汇编语言程序汇编语言程序 或或 机器语言程序机器语言程序E.E.汇编语言程序汇编语言程序 或或 高级语言程序高级语言程序B D A C B D A C 36练习练习4 4、编译程序的工作过程可以划分为、编译程序的工作过程可以划分为 （1 1）等六个阶等六个阶段，同时还伴有段，同时还伴有

41、（2 2）和（和（3 3）。（1 1）词法分析、语法分析、语义分析、中间代码生）词法分析、语法分析、语义分析、中间代码生成、代码优化、目标代码生成。成、代码优化、目标代码生成。（2 2）表格管理）表格管理（3 3）出错处理）出错处理5 5、编译程序可以发觉源程序的全部、编译程序可以发觉源程序的全部 （1 1）错误和部错误和部分分 （2 2）错误。错误。A.A.语用语用B.B.语义语义C.C.语法语法D.D.运行运行C BC B37练习练习6 6、要在某台机器上为某种语言构造一个编译程序、要在某台机器上为某种语言构造一个编译程序（编译器），必需驾驭的内容有（编译器），必需驾驭的内容有（1 1）。

42、）。A.A.汇编语言汇编语言B.B.源语言源语言C.C.目标语言目标语言D.D.程序设计方法学程序设计方法学 E.E.编译方法编译方法 F.F.测试方法测试方法 G.G.机器语言机器语言B C EB C E7 7、一个编译程序，不仅包含词法分析、语法分析、一个编译程序，不仅包含词法分析、语法分析、语义分析、中间代码生成、代码优化和目标代码语义分析、中间代码生成、代码优化和目标代码生成，还应包括（生成，还应包括（1 1）。其中（其中（2 2）和（）和（3 3）不是每个编译程序都必需的。）不是每个编译程序都必需的。词法分析器用于识别（词法分析器用于识别（4 4）。语法分析器可以发觉源程序中的语法分

43、析器可以发觉源程序中的 （5 5）。）。（1 1）表格处理和出错处理）表格处理和出错处理（2 2）中间代码生成）中间代码生成（3 3）代码优化代码优化 （4 4）单词）单词 （5 5）语法错误）语法错误38练习练习8 8、程序语言的语言处理程序是一种（、程序语言的语言处理程序是一种（1 1）。）。（2 2）都是程序语言的处理程序，两者的主要区分在于）都是程序语言的处理程序，两者的主要区分在于（3 3）。（1 1）A.A.系统软件系统软件B.B.应用软件应用软件C.C.实时软件实时软件D.D.分布式系统软件分布式系统软件（2 2）A.A.高级语言程序高级语言程序 和和 低级语言程序低级语言程序B

44、.B.说明程序说明程序 和和 编译程序编译程序C.C.编译程序编译程序 和和 操作系统操作系统D.D.系统程序系统程序 和和 应用程序应用程序（3 3）A.A.单用户与多用户的差别单用户与多用户的差别B.B.对用户程序的查错实力不同对用户程序的查错实力不同C.C.机器执行的效率不同机器执行的效率不同D.D.是否生成目标代码是否生成目标代码 A B DA B D39练习练习9 9、编译器必需完成的工作有（、编译器必需完成的工作有（1 1）。A.A.词法分析词法分析B.B.语法分析语法分析C.C.语义分析语义分析D.D.中间代码生成中间代码生成E.E.代码优化代码优化F.F.目标代码生成目标代码生

45、成A B C FA B C F因为代码优化是为了提高目标程序的质量，不是必需因为代码优化是为了提高目标程序的质量，不是必需的，没有优化源程序一样能够转化为目标代码。的，没有优化源程序一样能够转化为目标代码。而中间代码生成是为代码优化服务的，没有代码而中间代码生成是为代码优化服务的，没有代码优化的编译器可以干脆生成目标代码。优化的编译器可以干脆生成目标代码。40练习练习1010、编译时，语法分析器的任务包括、编译时，语法分析器的任务包括（1 1）。A.A.分析单词是怎样构成的分析单词是怎样构成的B.B.分析单词串是如何构成语句和说明的分析单词串是如何构成语句和说明的C.C.分析语句和说明是如何构

46、成程序的分析语句和说明是如何构成程序的D.D.分析程序的结构分析程序的结构B C DB C D41练习练习1111、与编译程序相比，说明程序通常缺少（、与编译程序相比，说明程序通常缺少（1 1），同时，说明程），同时，说明程序（序（2 2），它处理语言时接受的方法是（），它处理语言时接受的方法是（3 3）。）。（1 1）A.A.中间代码生成中间代码生成 B.B.目标代码生成目标代码生成C.C.词法分析词法分析D.D.语法分析语法分析 E.E.代码优化代码优化（2 2）A.A.比较简洁，可以移植性好，执行速度快比较简洁，可以移植性好，执行速度快B.B.比较困难，可以移植性好，执行速度快比较困难，

47、可以移植性好，执行速度快C.C.比较简洁，可以移植性差，执行速度慢比较简洁，可以移植性差，执行速度慢D.D.比较简洁，可以移植性好，执行速度慢比较简洁，可以移植性好，执行速度慢（3 3）A.A.源程序语句被干脆说明执行源程序语句被干脆说明执行B.B.将源程序逐句转化成中间代码，说明执行将源程序逐句转化成中间代码，说明执行C.C.先将源程序说明转化为目标代码，再执行先将源程序说明转化为目标代码，再执行D.D.以上方法都行以上方法都行（1 1）B E (2)D (3)B B E (2)D (3)B 42练习练习1212、推断：、推断：“含有代码优化的编译器的执行效率高含有代码优化的编译器的执行效率

48、高”。错。含有代码优化的编译器，其优化是指对生成的目标代错。含有代码优化的编译器，其优化是指对生成的目标代码进行了优化，而不是编译器本身得到了优化，所以，它码进行了优化，而不是编译器本身得到了优化，所以，它提高的是目标代码的执行效率，而不是编译器本身的执行提高的是目标代码的执行效率，而不是编译器本身的执行效率。效率。13.13.推断：推断：“说明方式与编译方式的区分在于说明程序对源程说明方式与编译方式的区分在于说明程序对源程序没有真正进行翻译序没有真正进行翻译”。错。编译方式和说明方式事实上都进行的翻译，只是编译错。编译方式和说明方式事实上都进行的翻译，只是编译相当于笔译，而说明相当于口译。相当于笔译，而说明相当于口译。说明方式下，不将于源程序彻底翻译成目标代码，而是每说明方式下，不将于源程序彻底翻译成目标代码，而是每读入一条语句，将其翻译成中间代码，说明其含义并执行，读入一条语句，将其翻译成中间代码，说明其含义并执行，然后再读入下一条语句，再翻译执行。然后再读入下一条语句，再翻译执行。编译方式和说明方式的根本区分在于编译方式和说明方式的根本区分在于“是否生成了目标代是否生成了目标代码码”。43练习练习P11P11 2,3,4 2,3,4