《编译原理名词解释、填空》由会员分享,可在线阅读,更多相关《编译原理名词解释、填空(22页珍藏版)》请在金锄头文库上搜索。
1、第一章1. 程序设计语言是人与计算机联系的工具,通过程序设计语言指挥计算机按照自己的意志进行运算和操作显示信息和输出运算结果。2. 最早的计算机程序设计语言是机器语言(指令系统 )。 机器语言中的指令都是用二进制代码 直接表示的。3. 机器语言和符号语言以及汇编语言都是低级程序设计语言。4. 1954 年 FORTRAN I 语言的问世标志计算机高级程序设计语言的诞生。5. 计算机高级程序设计语言独立于机器,比较接近于自然语言,容易学习掌握,编写程序效率高 ,编写的程序易读易理解易移植。6. 翻译程序 :将高级语言编写的程序翻译成机器语言。7. 编译程序的工作过程:编译程序这要功能是将源程序翻
2、译成等价的目标程序,这个翻译过程分为词法分析、语法分析、语义分析、中间代码生成、代码优化和目标代码生成。8. 编译程序的重要意义在于它使高级语言独立于机器语言,使程序员用高级语言编写程序时不必考虑那些直接与机器有关的琐碎的环节,这些细节由编译程序区处理。9. 编译程序包括:词法分析程序、语法分析程序、语义分析程序、中间代码生成程序、代码优化程序和目标代码生成程序以及表格处理程序和出错处理程序。10.编译程序的组织方式:编译过程分为六个阶段,改划分是编译程序的逻辑组织方式。编译过程分为前端和后端。前端包括词法分析、语法分析、语义分析、中间代码生成、代码优化。后端包括目标代码生成,依赖于计算机的硬
3、件系统和机器指令系统。这种组织方式便于编译程序的移植,如果移植到不同类型的机器上只需修改编译程序的后端即可。11.翻译方式 :编译方式和解释方式。12.源程序 :用高级语言编写的程序。源程序是编译程序加工的对象。13.编译方式 :先将源程序翻译成汇编语言程序或机器语言程序(目标程序),然后再执行。这个翻译程序为编译程序. 14.编译方式中源程序的编译和目标程序的运行时分成两个阶段完成的。编译所的目标程序计算机暂时不能执行,必须由连接装配程序将目标程序和编译程序及系统子程序连接成一个可执行程序 ,这个可执行程序可直接被计算机执行。例如 FORTRAN,ALGOL,PASCAL,C,C+等等。15
4、.解释方式 :对源程序边翻译边执行,按解释方式进行翻译的翻译程序为解释程序。优点在于便于对源程序调试和修改,加工处理过程慢。16.解释程序 :按解释方式进行翻译的翻译程序. 17.词法分析 :词法分析是编译过程的基础,任务是扫描源程序,根据语言的词法规则分解和识别出每个单词,并把单词翻译成相应的机内表示。在识别单词的过程中同时也做词法检查。18.语法分析 :语法分析师在词法分析的基础上进行的。任务是根据语言的语法规则把单词符号串分解成格内语法单位,如表达式、 语句等。 通过语法分析确定整个输入符号串是否构成一个语法正确的程序。19.语义分析 :任务是对源程序进行语义检查,其目的是保证标识符和常
5、数的正确使用,把必要的信息收集保存到符表或中间代码程序中,并进行相应的处理。20.中间代码生成:是必不可少的阶段,任务是在语法分析和语义分析基础上把语法成分的语义对其继续翻译,翻译的结果是某种中间代码形式,这种中间代码的结果简单,接近计算机的指令形式,能够很容易被翻译成计算机指令,常用的中间代码有三元式,四元式和逆波兰式。21.目标代码生成:任务 :将中间代码或优化之后的中间代码转换为等价的目标代码,即机器指令或汇编语言。由中间代码很容易生成目标程序(地址指令序列)。这部分工作与机器关系密切,所以要根据机器进行。在做这部分工作时(要注意充分利用累加器),也可以进行优化处理。22.编译程序的自展
6、、移植与自动化:高级语言的自编译性是指可以用这个语言来编写自己 的编译程序。 对于具有自编译性的高级语言,可运用自展技术构造其编译程序。即先对语言的核心部分构造一个小小的编译程序(可用低级语言实现),再以它为工具构造一个能够编译更多语言成分的较大编译程序,如此扩展下去,最后形成整个编译程序。23.高级语言的自编译性:是指可以用这个语言来编写自己的编译程序。一个具有自编译性的高级语言该机其他高级语言的编译程序。24.编译程序的移植: 将一个机器 (宿主机 )上的具有自编译性的高级语言编译程序移植到另一个机器上 (目标机 )。25.编译程序的自动化:在编译程序自动化中开发早和应用广泛的是分析程序生
7、成器和语法分析程序生成器。LEX 是一个有代表的性的词法分析生成器。输入的是正规表达式,输出的是词法分析器。LEX 的基本思想是由正规表达式构造有穷自动机。YACC 是一种基于LALR(1) 文法的语法分析生成器。他接受 LALR(1) 文法生成一个相应的LALR(1) 分析表以及一个 LALR(1) 分析器,而且YACC 得语法分析程序可以和扫描器连接。在YACC 源程序中除 2 型语言的规则之外,还可以包括一段语义程序指定相应的语义操作(填写 ,查找符号表 ,语义检查 ,生成语法树 ,代码生成 )。LEX 和 YACC 是关于编译程序前端的生成器。编译程序后端 (代码生成 ,代码优化 )。
8、26.编译程序编写系统(TWS) :将有助于减轻编写翻译程序(编译程序汇编程序解释程序)工作的任何软件系统或工具包统称为翻译程序编写系统。包括产生式语言的编译程序和自动分析算法的改构造程序,以及翻译程序所必须执行的各种基本操作(建立 ,查找符号表操作,生成目标代码 ,处错处理操作等)。27.TWS 分为三类 : 第一类为自动产生编译程序的“编译程序的编译程序”,只要给出一个高级语言的语法规则和语义描述这类程序就能自动产生相应语言的编译程序。第二类为面向语法的符号加工程序。 比较通用, 例如表达式符号化简,数据格式转换 ,高级语言之间的相互转换等。当输入对象可用巴科斯范式BNF 表示法加以描述时
9、该TWS 适用。第三类为由可扩充语言组成的集合。允许程序员用已有的数据类型和语句自定义新的数据类型和语句。28.规格说明 :以某种方式告知计算机所需要的是什么样的程序,要求这一程序干什么。29.目标语言 :是自动程序设计系统用以表示最后生成的程序的语言。30.问题范围 :是指希望生成的程序的应用范围,问题范围与规格说明有关,对系统采用的方法有很大影响。31.采用方法 :程序转换,知识工程等。32.串行编译程序:适合于SISD 结构计算机的编译程序。33.并行编译程序:适合于SIMD 和 MIMD结构计算机,具有并行处理功能的编译程序。34.并行编译程序的功能:把串行的源程序和尚未充分并行化的并
10、行源程序自动转换成并行计算机上运行的并行目标程序或它所能接受的并行源程序。35.并行编译程序的任务:实现对并行语言的翻译,受到并行语言的约束和并行计算机体系结构以及和操作系统提供的基本手段的限制。36.并行语言分为扩充式语言和全新设计语言。37.扩充式语言流行原因:向上兼容串行语言。用扩充式语言编译程序可以使串行源程序不必修改或者极少的修改就可以转换成并行程序。当前全新式并行语言不能够全面的支持并行语言。兼容性不高,不容易掌握。38.实现扩充语言编译程序的方式有:直接法:直接接受扩充式语言,并按语言的语义规则处理。间接法:接受串行源程序(或带并行指示标志的串行源程序),并行编译程序对源程序进行
11、并行性检查,将检测到的并行成分转换成并行语句。或者立即进行并行编译处理。39.并行粒度是对并行执行任务或者事务大小的度量。分为作业级 ,用户级 ,程序级 ,指令级 (语句级 )。作业级粒度最大,指令级粒度最小。并行编译程序应该选择适当的并行粒度。40.加速比Sp可认为是应用程序在单处理机上串行执行时间Ts和 p 个处理器并行执行的时 间 Tp 之比, 即 Sp=Ts/Tp。分析比较并行编译程序所生成的目标程序的执行速度是可用此指标。41.并行硬件上实现神经模型和连接机制模型途径:用大量的专门的神经元器件连接成特定的模型。用通用并行计算机支持各种连接模型。第二章1. 字母表 :字母表是元素的非空
12、有穷集合。字母表中的元素称为符号。2. 符号串 :符号的有穷序列成为符号串。什么符号也不包含的符号称为空符号串。符号串中符号的个数称为符号的长度。3. 符号串相等若 xy 是集合上的两个符号串。且符号串的每个元素和元素的位置均相等时符号串相等。4. 符号串的正闭包:A+ 为集合 A 上所有符号串的集合。5. 符号串的自反闭包:A* 自反闭包不包含A 本身A+=AA*=A*A 6. 文法 :文法是对语言结构的定义与描述。即从形式上用于描述和规定语言结构的称为“文法” (或称为“语法” ) 。对于 we 妇女发要研究它的句型、句子和语言。7. 语法规则 :我们通过建立一组规则,来描述句子的语法结构
13、。规定用 “ :=”表示“由 ,组成”或“定义为 , ”。8. 产生式的定义;设VN、 VT 分别是非空有限的非终结符号集和终结符号集,V=VN VT ,VN VT= 。 一个产生式是一个有序偶对(, ),其中 V+, V* ,通常表示为 或:=。称 为产生式的左部,称为产生式的右部。产生式又称为重写规则,它意味着能将一个符号串用另一个符号串替换。9. 文法的定义:文法G =(VN ,VT, P,S) 。VN :非终结符号集。VT:终结符号集。P:产生式或规则的集合。S:开始符号(识别符号)SVN. 10.文法和语言分类Chomsky 将文法分为四类:0 型、 1 型、 2 型、3 型。这几类
14、文法的差别在于对产生式施加不同的限制。11.0 型文法 :P: :=其中 (VN VT) , (VN VT)* 0 型文法称为短语结构文法。规则的左部和右部都可以是符号串,一个短语可以产生另一个短语。0 型语言: L0 这种语言可以用图灵机(Turing)接受。12.1 型文法 :P: 1A 2:= 12 其中 1, 2(VN VT)*, AVN, (VN VT)+ 称为上下文有关文法或上下文敏感文法。也即只有在1,2 这样的上下文中才能把A 改写为 1 型语言: L1 这种语言可以由一种线性界限自动机接受. 13.2 型文法 :P: A:= 其中 AVN , (VN VT)+ 称为上下文无关
15、文法。也即把A 改写为 时,不必考虑上下文。注意: 2 型文法与BNF 表示相等价。2 型语言: L2 这种语言可以由下推自动机接受. 14.3 型文法 :(右线性)P: A:=a 或A:=aB 其中 A、BVN 。aVT。3 型文法称为正则文法。它是对2 型文法进行进一步限制。3 型语言: L3 又称正则语言、正则集合这种语言可以由有穷自动机接受. 根据上述分析,L0 L1 L2 L3 0 型文法可以产生L0、L1、 L2、L3,但 2 型文法只能产生L2,不能产生L1 。 从 0 型文法到3 型文法,各文法描述语言的能力依次减弱。15.直接推导设文法 G(VN, VT, P, S)( ,
16、)P , , (VN VT)* 则称符号串 为符号串 应用产生式 :=所得到的直接推导,记为=特别有,当 时,有 =即每个产生式得右部都是它左部的直接推导。16.最左直接推导在 xUy= xuy 直接推导中,若x 属于 Vt* ,U 属于 Vn,即 U 是符号串最左非终结符,即最左直接推导,若每一步都是最左直接推导,称为最左推导。17.最右直接推导在 xUy= xuy 直接推导中,若y 属于 Vt* ,U 属于 Vn,即 U 是符号串最右非终结符,即最右直接推导,若每一步都是最右直接推导(规范直接推导),称为最右推导(规范推导)。18.句型 : S是文法 G 的识别符号,若S*=u ,则称 u为文法 G 的句型。 S 也是。19.句子 : S是文法 G 的识别符号,若S*=u ,u 属于 Vt* ,则 U 为文法 G 的句子。20.语言 : S 是文法 G 的识别符号 ,