编译原理小题答案.docx

1、编译原理小题答案编译原理常见题型一、填空题1.编译程序的工作过程一般可以划分为 词法分析 ， 语法分析 ， 中间代码生成 ， 代码优化 (可省) ， 目标代码生成 等几个基本阶段。2.若源程序是用高级语言编写的，目标程序是 机器语言程序或汇编程序 ，则其翻译程序称为编译程序.3.编译方式与解释方式的根本区别在于 是否生成目标代码 .5.对编译程序而言，输入数据是 源程序 ，输出结果是 目标程序 .7.若源程序是用高级语言编写的，目标程序是机器语言程序或汇编程序 ，则其翻译程序称为 编译程序 。8.一个典型的编译程序中，不仅包括词法分析、语法分析、中间代码生成、代码优化、目标代码生成等五个部分，

2、还应包括 表格处理 和 出错处理 。其中，词法分析器用于识别 单词 。10.一个上下文无关文法所含四个组成部分是 一组终结符号 、 一组非终结符号 、 一个开始符号 、 一组产生式 。12.产生式是用于定义 语法成分 的一种书写规则。13.设GS是给定文法，则由文法G所定义的语言L(G)可描述为： L(G)xS=*x,xVT* 。14.设G是一个给定的文法，S是文法的开始符号，如果Sx（其中xV*），则称x是文法的一个 句型 。15.设G是一个给定的文法，S是文法的开始符号，如果Sx(其中xVT*)，则称x是文法的一个 句子 。16.扫描器的任务是从源程序中识别出一个个 单词符号 。17.语法

3、分析最常用的两类方法是 自上而下 和 自下而上 分析法。18.语法分析的任务是识别给定的终结符串是否为给定文法的 句子 。19.递归下降法不允许任一非终结符是直接 左 递归的。20.自顶向下的语法分析方法的关键是 如何选择候选式 的问题。21.递归下降分析法是自 顶向下 分析方法。22.自顶向下的语法分析方法的基本思想是：从文法的 开始符号 开始，根据给定的输入串并按照文法的产生式一步一步的向下进行直接推导，试图推导出文法的 句子 ，使之与给定的输入串匹配。23.自底向上的语法分析方法的基本思想是：从给定的终结符串开始，根据文法的规则一步一步的向上进行 直接归约 ，试图 归约 到文法的 开始符

4、号 。24.自底向上的语法分析方法的基本思想是：从输入串入手，利用文法的产生式一步一步地向上进行 直接归约 ，力求 归约 到文法的 开始符号 。26.在LR（0）分析法的名称中，L的含义是 自左向右的扫描输入串 ，R的含义是 最左归约 ，0 的含义是向貌似句柄的符号串后查看0个输入符号 。 31.终结符只有 综合属性 ，它们由词法分析器提供。32.在使用高级语言编程时，首先可通过编译程序发现源程序的全部 A（语法） 错误和 B（语义） 部分错误.34一个句型中的最左简单短语称为该句型的_句柄_。36从功能上说，程序语言的语句大体可分为_执行性_语句和说明性_语句两大类。37语法分析是依据语言的

5、_语法_规则进行的，中间代码产生是依据语言的_语义_规进行的。38语法分析器的输入是_单词符号_，其输出是_语法单位_。40逆波兰式 ab+c+ d*e- 所表达的表达式为_(a+b+c)*d-c_ 。41计算机执行用高级语言编写的程序主要有两种途径：_解释_和_编译_。42自上而下分析法采用_移进_、归约、错误处理、接受_等四种操作。43一个LR分析器包括两部分：一个总控程序和_一张分析表_。44后缀式abc-/所代表的表达式是a/(b-c)_。 46语法分析基于_上下文无关_文法进行，即识别的是该类文法的句子。语法分析的有效工具是_语法树_。48语义分析阶段所生成的与源程序等价的中间表示形

6、式可以有_逆波兰_、四元式表示_与_三元式表示_等。51.自顶向下语法分析会遇到的主要问题有 左递归 和 回溯 。52.已知文法GE：ET|E+T; TF|T*F; F(E)|i该文法的开始符号是 ，终结符号集合VT是 ，非终结符号结合VN是 。二、单选题1一个编译程序中，不仅包含词法分析，( A)，中间代码生成，代码优化，目标代码生成等五个部分。A语法分析 B文法分析C语言分析D解释分析2语法分析器则可以发现源程序中的(D )。A语义错误 B语法和语义错误 C错误并校正 D语法错误3解释程序处理语言时 , 大多数采用的是(B)B方法。A源程序命令被逐个直接解释执行B先将源程序转化为中间代码

7、, 再解释执行C先将源程序解释转化为目标程序 , 再执行D以上方法都可以4编译程序是一种(B)。A汇编程序 B翻译程序 C解释程序 D目标程序5通常一个编译程序中，不仅包含词法分析，语法分析，中间代码生成，代码优化，目标代码生成等五个部分，还应包括(C)。A模拟执行器B解释器 C表格处理和出错处理 D符号执行器6一个句型中的最左(B)称为该句型的句柄。A短语 B简单短语 C素短语 D终结符号 7文法 GE ：ETETTFTFFa(E)该文法句型 EF(ET)的简单短语是下列符号串中的(B)。 （ET） ET F F(ET) A 和 B 和 C 和 D 8词法分析器用于识别(C)。A句子 B句型

8、 C单词 D产生式 9在自底向上的语法分析方法中，分析的关键是(D)。A寻找句柄 B寻找句型 C消除递归 D选择候选式 10文法 G 产生的( D)的全体是该文法描述的语言。A句型 B终结符集 C非终结符集 D句子11若文法 G 定义的语言是无限集，则文法必然是(A)。 A递归的 B前后文无关的 C二义性的 D无二义性的12四种形式语言文法中，1型文法又称为(C)C文法。A短语结构文法 B前后文无关文法 C前后文有关文法 D正规文法 13一个文法所描述的语言是(A)。A唯一的 B不唯一的 C可能唯一，好可能不唯一 D都不对14(B)和代码优化部分不是每个编译程序都必需的。A语法分析B中间代码生

9、成 C词法分析 D目标代码生成 15(B)是两类程序语言处理程序。 A高级语言程序和低级语言程序 B解释程序和编译程序 C编译程序和操作系统 D系统程序和应用程序 16. 一个上下文无关文法G包括四个组成部分，它们是：一组非终结符号，一组终结符号，一个开始符号，以及一组(D)。 A句子 B句型 C单词 D产生式17 文法分为四种类型，即0型、1型、2型、3型。其中2型文法是(D)。A短语文法 B正则文法 C上下文有关文法 D上下文无关文法18文法 G 所描述的语言是(C)的集合。 A文法G的字母表V中所有符号组成的符号串 B文法 G 的字母表 V 的闭包 V* 中的所有符号串C由文法的开始符号

10、推出的所有终结符串D由文法的开始符号推出的所有符号串19文法分为四种类型，即0型、1型、2型、3型。其中0型文法是(A)。A短语文法 B正则文法 C上下文有关文法 D上下文无关文法20(A是一种典型的解释型语言。 ABASIC BC CFORTRAN DPASCAL21与编译系统相比，解释系统(D)。A比较简单 , 可移植性好 , 执行速度快 B比较复杂 , 可移植性好 , 执行速度快C比较简单 , 可移植性差 , 执行速度慢 D比较简单 , 可移植性好 , 执行速度慢 22用高级语言编写的程序经编译后产生的程序叫(B)。 A源程序B目标程序C连接程序 D解释程序23编写一个计算机高级语言的源

11、程序后，到正式上机运行之前，一般要经过(B)这几步: (1) 编辑 (2) 编译 (3) 连接 (4) 运行 A(1)(2)(3)(4) B(1)(2)(3) C(1)(3)D(1)(4)24把汇编语言程序翻译成机器可执行的目标程序的工作是由(B)完成的。A编译器 B汇编器 C解释器 D预处理器25词法分析器的输出结果是(C)。A单词的种别编码 B单词在符号表中的位置 C单词的种别编码和自身值 D单词自身值26 正规式M 1和M 2 等价是指(C)。 AM1和M2的状态数相等 BM1和M2的有向边条数相等CM1和M2所识别的语言集相等 DM1和M2状态数和有向边条数相等 27 文法G：SxSx

12、|y所识别的语言是(C)。Axyx B(xyx)* C Dx*yx* 28如果文法G是无二义的，则它的任何句子 (A)。A最左推导和最右推导对应的语法树必定相同 B最左推导和最右推导对应的语法树可能不同C最左推导和最右推导必定相同 D可能存在两个不同的最左推导，但它们对应的语法树相同 29构造编译程序应掌握(D)。A源程序B目标语言 C编译方法 D以上三项都是30四元式之间的联系是通过(B)实现的。 A指示器 B临时变量 C符号表 D程序变量 31表达式(AB)(CD)的逆波兰表示为(B)。AABCD BABCD CABCD DABCD 33 编译程序是对(D)。 A汇编程序的翻译 B高级语言

13、程序的解释执行C机器语言的执行 D高级语言的翻译 34 采用自上而下分析，必须(C)。A消除左递归 B消除右递归 C消除回溯 D提取公共左因子 35在规范归约中，用()B来刻画可归约串。A直接短语 B句柄 C最左素短语 D素短语 36间接三元式表示法的优点为(A)。 A采用间接码表，便于优化处理 B节省存储空间，不便于表的修改C便于优化处理，节省存储空间 D节省存储空间，不便于优化处理 37在目标代码生成阶段，符号表用(D)。A目标代码生成 B语义检查 C语法检查 D地址分配38下面关于解释程序的描述正确的是 B .(1) 解释程序的特点是处理程序时不产生目标代码(2) 解释程序适用于COBO

14、L 和 FORTRAN 语言(3) 解释程序是为打开编译程序技术的僵局而开发的 A. (1)(2) B. (1) C. (1)(2)(3) D.(2)(3)39.解释程序处理语言时，大多数采用的是 B 方法.A.源程序命令被逐个直接解释执行 B.先将源程序转化为中间代码，再解释执行 C.先将源程序解释转化为目标程序，在执行 D.以上方法都可以40.用不同语言编写的程序产生 后，可用 连接在一起生成机器可执行的程序.在机器中真正执行的是 . 上面三空格对应的选项是：A a. 源程序 b. 目标程序 c. 函数 d. 过程 e. 机器指令代码 f. 模块 g. 连接程序 h.程序库A. b、g、e

15、 B. b、c、e C. e、g、f D. e、c、f41.由于受到具体机器主存容量的限制，编译程序几个不同阶段的工作往往被组合成 ，诸阶段的工作往往是 进行的. 上面两空格对应的选项是： A a. 过程 b. 程序 c. 批量 d.遍 e. 顺序 f. 并行 g. 成批 h.穿插A. d和h B. d和e C. a和h D. a和e42.编译过程中，语法分析器的任务就是 B . (1)分析单词是怎样构成的 (2)分析单词串是如何构成语句和说明的 (3)分析语句和说明是如何构成程序的 (4) 分析程序的结构A. (2)(3) B. (2)(3)(4) C. (1)(2)(3) D.(1)(2)

16、(3)(4)43.编译程序必须完成的工作有 A . (1) 词法分析 (2) 语法分析 (3) 语义分析 (4) 代码生成 (5) 中间代码生成 (6) 代码优化 A. (1)(2)(3)(4) B. (1)(2)(3)(4)(5) C. (1)(2)(3)(4)(5)(6) D. (1)(2)(3)(4)(6) 44按逻辑上划分，编译程序第二步工作是 C 。A. 语义分析 B. 词法分析 C. 语法分析 D. 代码优化45已知语言L= xnyyn | n=1，则下述文法中， D 可以产生语言L。A 1.ZxZy|xAy|y B 1.AxAy 2. AxAy|x 2.AxC 1.ZAyB D

17、1.ZxAy 2.AxA|x 2.AxAy|y 3.ByB|y 46乔姆斯基（Chomsky）把文法分为四种类型，即0型、1型、2型、3型。其中3型文法是 B 。A.短语文法 B.正则文法 C.上下文有关文法 D.上下文无关文法48设G是一个给定的文法，S是文法的开始符号，如果Sx(其中xV*)，则称x是文法G的一个 B 。A. 候选式 B. 句型 C. 单词 D. 产生式49若一个文法是递归的，则它所产生的语言的句子 A 。A.是无穷多个 B.是有穷多个 C.是可枚举的 D.个数是常量50文法的二义性和语言的二义性是两个 A 的概念。A 不同 B 相同 C 无法判断 D 不存在51.在语法分

18、析处理中，FIRST集合、FOLLOW集合、SELECT集合均是 B 。A. 非终结符集 B.终结符集 C. 字母表 D. 状态集52.编译程序中语法分析器接收以 A 为单位的输入。A. 单词 B. 表达式 C. 产生式 D. 句子53. 在LR分析法中，分析栈中存放的状态是识别规范句型 C 的DFA状态。A.句柄 B. 前缀 C. 活前缀 D. LR(0)项目三、是非题(下列各题，你认为正确的，请在题干的括号内打“ ”，错的打“”。)1计算机高级语言翻译成低级语言只有解释一种方式。 （X）2在编译中进行语法检查的目的是为了发现程序中所有错误。 （X）3甲机上的某编译程序在乙机上能直接使用的必

19、要条件是甲机和乙机的操作系统功能完全相 同。 （X）4“用高级语言书写的源程序都必须通过编译，产生目标代码后才能投入运行”这种说法。（X）5正则文法其产生式为A a，A Bb， A，BVN，a、bVT。 （V）6产生式是用于定义词法成分的一种书写规则。 (X)7解释程序适用于 COBOL 和 FORTRAN 语言。 (X)8正规文法产生的语言都可以用上下文无关文法来描述。 (V)9如果一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义的。 (V)10编译程序是对高级语言程序的解释执行。 (X)11一个有限状态自动机中，有且仅有一个唯一的终态。 (X)12语法分析时必须先消除文法中的左

20、递归 。 (X)13两个正规集相等的必要条件是他们对应的正规式等价。 (V )14设r和s分别是正规式，则有L(r|s)=L(r)L(s)。 (X)15确定的自动机以及不确定的自动机都能正确地识别正规集。 (V)16词法分析作为单独的一遍来处理较好。 (X)17构造LR分析器的任务就是产生LR分析表。 (V)18编译程序与具体的机器有关，与具体的语言无关。 (X)19每个文法都能改写为LL(1)文法。 （X）20递归下降法允许任一非终结符是直接左递归的。 （V）21递归下降分析法是自顶向下分析方法。 (V)22一个 LL(l)文法一定是无二义的。 (V)23算符优先关系表不一定存在对应的优先函

21、数。 （X）24自底而上语法分析方法的主要问题是候选式的选择。 （X）25LR分析方法是自顶向下语法分析方法。 （X）26简单优先文法允许任意两个产生式具有相同右部。 （X）27若一个句型中出现了某产生式的右部，则此右部一定是该句型的句柄。（X）28一个句型的句柄一定是文法某产生式的右部。 （V）29在 SLR(1)分析法的名称中，S的含义是简单的。 (V)30综合属性是用于 “ 自上而下 ” 传递信息。 (X)31一个算符优先文法可能不存在算符优先函数与之对应。 (V)32LR分析法在自左至右扫描输入串时就能发现错误，但不能准确地指出出错地点。 (V)33规范归约和规范推导是互逆的两个过程。

22、 (V)34LR分析技术无法适用二义文法。 (X)35逆波兰表示法表示表达式时无须使用括号。 (V)36逆波兰法表示的表达式亦称后缀式 。 (V)38在程序中标识符的出现仅为使用性的。 （X）39. 设为a，b，则a，ba，都是上的正规式。（X）40. 对于上下文无关文法GS，若 SAB 则A 一定是一条产生式规则，其中,（VTVN）* 。 （X）41. 对于逆波兰后缀式，无论从哪头开始分析均可得到唯一正确的分解。（V）42. LR（0）分析法是一种规范归约法。 （V）43. 算符优先分析法只能用来分析算符优先文法。 （V）44. 解释程序和编译程序一样，生成目标代码。 （X）45. 编译程序

23、生成的目标代码只能是机器语言。 （X）46. 等价文法是指两个文法完全相同。 （X）47. 对于字母表上的任一NFA M，必存在上与NFA M 等价的DFA M。（V）48. 每个文法都能改写为LL(1)文法。 （X）49. 不存在正规文法能产生语言：L=anbn|n=1（V）四、简答题1、什么是句子？ 什么是语言?答：设G是一个给定的文法，S是文法的开始符号，如果S=*x（其中xVt*），则称x是文法的一个句子。 设GS是给定文法，则由文法G所定义的语言L(G)可描述为L(G)xS=*x,xVT*2、已知文法GE为：ET|E+T|E-TTF|T*F|T/FF（E）|i 该文法的开始符号（识别

24、符号）是什么？请给出该文法的终结符号集合VT和非终结符号集合VN。 找出句型T+T*F+i的所有短语、简单短语和句柄。答：该文法的开始符号（识别符号）是E。 该文法的终结符号集合VT=+、-、*、/、（、）、i。 非终结符号集合VN=E、T、F。 句型T+T*F+I的句柄为第一个T。3、已知文法GS为：SdABAaA|aBBb| GS产生的语言是什么？ GS能否改写为等价的正规文法？答：GS产生的语言是L(GS)=danbmn1,m0。 GS能改写为等价的正规文法,其改写后的等价的 正规文法GS为：SdAAaA|aB|aBbB|b5、证明下面文法GN是二义性文法。 GN： N SEE S SD

25、D E 0210D 0127、简述DFA与NFA有何区别 ? 答： 主要区别在于，1.DFA没有转换；2.DFA的状态转换函数是单值映射，即当前状态输入一个字符后转换到下一个状态，而NFA的状态转换函数是非单值映射，也就是说当前状态输入一个字符后可以转换到下面N个状态。 8、试给出非确定自动机的定义。答： 一个非确定的有穷自动机（NFA）M是一个五元组：M=（S，move，s0，F）。其中:1.一个有限的状态集合S；2.是一个输入符号集合，不在中；3.move是状态转换函数，是在S*S的子集的映射，即，move:S*2S；表明在某状态下对于某输入符号可能有多个后继状态；4.s0是唯一的开始状态

26、；5.F是接受（或终止）状态集合，且F属于S一个子集。9、为正规式（a|b）*a(a|b) 构造一个等价的确定的有限自动机。答：10、构造正规式相应的 NFA : 1(0|1)*101 12、已知文法 GS 为： SdAB AaA|a BBb|GS 产生的语言是什么？ 13、编译过程一般分为几个阶段？各阶段的输入输出分别为什么？15、在LL(1)分析法中，LL分别代表什么含义?答： 第一个L代表从左到右的扫描，第二个L代表每次进行最左推导。16、文法G为： SaAB Aa B |则判断G为LL（1）文法的条件是：17、文法G=(A, B, S, a, b, c, P, S) 其中P为： SAc|aB Aab Bbc 该文法是二义的吗？说明理由。18、文法G=(E, +, *, i, (, ), P, E)其中P为： Ei EE+E EE*E E(E)该文法是二义的吗？说明理由。19、自顶向下分析思想是什么？答：从开始符出发导出句型并一个符号一个符号地与给定终结符串进行匹配。如果全部匹配成功，则表示开始符号可推导出给定的终结符串。因此判定给定终结符号串是正确句子。25、简单优先方法基本思想是什么？28、语法制导翻译方法的基本思想是什么?33、给定下列中缀式，分别写出等价的后缀式和四元式(运算符优先级按常规理解)。(1)(ab*c)/(ab)d