编译原理(选择、填空、简答)题.doc

一、是非题(下列各题，你认为正确的，请在题干的括号内打“√”，错的打“×”。每题1分,共5分)
1、算符优先关系表不一定存在对应的优先函数。 √
2、数组元素的地址计算与数组的存储方式有关。√
3、仅考虑一个基本块，不能确定一个赋值是否真是无用的。√
4、每个文法都能改写为LL(1)文法。×
5、对于数据空间的存贮分配，FORTRAN采用动态贮存分配策略。×
6、一个LL(1)文法一定是无二义的。
7、逆波兰法表示的表达式亦称前缀式。
8、目标代码生成时，应考虑如何充分利用计算机的寄存器的问题。
9、正规文法产生的语言都可以用上下文无关文法来描述。
10、一张转换图只包含有限个状态，其中有一个被认为是初态，最多只有一个终态 。

二、选择题：
1.编译原理是对（ c ）。
A、机器语言的执行 B、汇编语言的翻译
C、高级语言的翻译 D、高级语言程序的解释执行
2.词法分析器的输出结果是（ d ）。
A、单词自身值 B、单词在符号表中的位置
C、单词的种别编码 D、单词的种别编码和自身值
3. 若文法G定义的语言是无限集，则文法必然是（ c ）
A.前后文无关文法 B.正规文法 C.二义性文法 　 D.递归文法
4.文法：G：S→xSx | y所识别的语言是（ d ）。
A、xnyxm B、(xyx)* C、x*yx* D、xnyxn（n≥0）
1 ．文法 G 产生的 ⑴ 的全体是该文法描述的语言。 d
A ．句型 B. 终结符集 C. 非终结符集 D. 句子
2 ．若文法 G 定义的语言是无限集，则文法必然是 ⑵ ： a
A ．递归的 B 前后文无关的 C 二义性的 D 无二义性的
3 ． Chomsky 定义的四种形式语言文法中， 0 型文法又称为 ⑶ 文法； 1 型文法又称为 ⑷ 文法； 2 型语言可由 ⑸ 识别。
A ．短语结构文法 B 前后文无关文法 C 前后文有关文法 D 正规文法
E 图灵机 F 有限自动机 G 下推自动机
4 ．一个文法所描述的语言是 ⑹ ；描述一个语言的文法是 ⑺ 。
A ．唯一的 B 不唯一的 C 可能唯一，好可能不唯一
5 ． 数组的内情向量中肯定不含有数组的 ⑻ 的信息
A．维数 B.类型 C.维上下界 D.各维的界差
6 ．在下述的编译方法中，自底向上的方法有 ⑼ ，自顶向下的分析方法有 ⑽ 。
①简单优先分析 ②算符优先分析 ③递归下降分析 ④预测分析技术 ⑤LR（K）分析
⑥ SLR（k）分析 ⑦ LL（k）分析 ⑧LALR（K）分析
A.③④⑦ B. ③④⑧ C.①②⑧ D.③④⑤⑥⑦
E.①②⑤⑥⑦ F. ①②⑤⑥⑧
⑴ D ⑵ A ⑶ A ⑷ C ⑸ G. ⑹ A ⑺ B ⑻ A ⑼ F ⑽ A
1、 编写一个计算机高级语言的源程序后，到正式上机运行之前，一般要经过__B____这几步
①编辑 ② 编译 ③ 连接 ④运行
A、①②③④ B、①②③ C、①③ D、①④
2、 使用高级语言进行编程时，首先可以通过编译程序发现源程序的所有___A__错误和部分___B__错误
A、语法 B、语义 C、语用 D 运行
3、 乔姆斯基定义的四种形式语言文法分别为：__（1）_文法（又称_（2）___文法）、（3）___文法（又称_4）___文法）、__（5）_文法（又称_（6）___文法）、_（7）__文法（又称__（8）__文法）
（1）0型 （2）短语文法 （3）1型 （4）上下文有关文法 （5）2型 （6）上下文无关文法 （7）3型 （8）正则
4、 巴科斯—诺尔范式（即BNF）是一种广泛采用的__C__工具
A、描述规则 B、描述语言 C、描述文法 D、描述句子
给定文法A ®bA|cc,下面的符号串为该文法句子的是_A
①cc ②bcbc ③bcbcc ④ bccbcc ⑤bbbcc
A、①⑤ B、①③④⑤ C、①④ D、①②③④⑤
5、 上下文无关文法__A____产生语言L={anbnci|i>=1,n>=1}
A、可以 B、不可以
6、 文法的二义性与语法的二义性是两个__A___的概念
A、不同 B、相同 C、无法判断
7、 一个语言的文法是___B____
A、唯一的 B、不唯一的 C、个数有限的
8、 二义文法是指__D___
A、 对应有两棵不同语法树的文法
B、 对应两面三刀种不同推导的文法
C、 文法中的任何一个非终结符，都存在以它为左部的两面个不同的产生式
D、 以上说法都是错误的
9、 关于短语与句柄，正确的论述是：B
A、 短语就是句柄
B、 直接短语才可能是句柄
C、 左短语一定是句柄
D、 最右短语一定是句柄
10、 词法分析器的另一个名称为__B_____
A、 分析器具
B、 扫描器
C、 划分处理器
D、 词法探索器
11、 递归下降分析方法属于————B
A、 自左至右
B、 自顶向下
C、 自底向上
D、 自右向左
12、 算符优先文法是一种自底向上的分析方法，它是以_B__作为每一步归约的对象
A、 最左直接短语
B、 最左素短语
C、 最左直接短语
D、 句柄
13、 赋值语句X:=-(a+b)/(c-d)-(a+b*c)的逆波兰表示为 C
A、 Xabcd-/-bc*a+-:=
B、 Xab+/cd-bc*a+--:=
C、 Xab+-cd-/abc*+-:=
D、 Xab+cd-/abc*+--:=
14、 在编译过程中，比较常见的中间语言有 D
①波兰表示 ②逆波兰表示 ③三元式 ④ 四元式 ⑤树型表示
A、①③④ B、②③④ C、①③④⑤ D、②③④⑤
15、 运行阶段存储组织与管理的目的是C
① 提高编译程序的运行速度
②提高目标程序的运行速度
③为运行阶段存储分配作准备
A、①② B、①③ C、②③ D、①②③
16、 编译方法中，动态存储分配的含义是A

A、 在运行阶段对源程序中的量进行分配
B、 在编译阶段对源程序中的量进行分配
C、 在编译阶段对源程序中的量进行分配，在运行时这些量的地址可以根据需要改变
D、 以上都不正确
17、 FOTRAN编译中存储分配是_A_____。
A 静态存储分配 B 动态存储分配
18、 与PASCAL语言存储分配方式相似的语言是___A___。
A C语言 B BASIC语言 C FOTRAN-77
19、 局部优化是局限于______范围内的一种优化。
可选项有：
A 程序的一个基本块 B 一个函数或一个过程
C 一个基本的流程语句结构 D 程序的任何一个局部
20、 合并表达式中常量运算的目的________。
① 尽可能合并常量，使用统一的常量标识符替代表达式中的常量
② 在表达式尽可能去掉重复的常量表达，只留下一个，使表达式尽可能简洁
③ 将可在编译时刻计算的常量运算在编译时刻就算出来，用计算结果替换表达式中出的所有这种常量运算，使生成的代码指令尽可能少
可选项有：
A ① B② C③ D①②③

三、填空题(每题2分，共20分)
1、从功能上说，程序语言的语句大体可分为_执行性_语句和_说明性_语句两大类。
2、扫描器的任务是从_源程序_中识别出一个个_单词符号_。
3、所谓最右推导是指：_任何一步αÞβ都是对α中最右非终结符进行替换的_。
4、语法分析最常用的两类方法是_自上而下_和_自下而上_分析法。
5、一个上下文无关文法所含四个组成部分是 一组终结符、一组非终结符、一个开始符号、一组产生式_。
6、所谓语法制导翻译方法是__为每个产生式配上一个翻译子程序，并在语法分析的同时执行这些子程序__。
7、符号表中的信息栏中登记了每个名字的有关的性质，如_类型、种属、所占单元大小、地址_等等。
8、一个过程相应的DISPLAY表的内容为 现行的活动记录的地址和所有外出最新活动的记录地址 。
9、常用的两种动态存贮分配办法是 栈式 动态分配和 堆式 动态分配。
10、产生式是用于定义_语法范畴_的一种书写规则。
11、一般程序语言的语法单位有：　表达式　、　语句　、　分程序　、和 函数、过程、程序 等等。
12、语法分析器的任务是　在词法分析识别出单词符号串的基础上，分析并判定程序的语法结构是否符合语法规则　。
13、若源语言用高级语言编写的，目标程序是_等价的机器语言程序或汇编程序 ，则其翻译程序称为 编译程序 。
14、高级语言经过编译生成的目标程序一般是_机器语言程序 或__汇编语言程序_
15、一个高级语言的源程序在编写形成后到正式运行前，一般要经过 编辑 、编译、连接 这三个阶段
16、假设G是一个文法，S是文法的开始符号，如果SÞ*X，则称X是句型
17、乔姆斯基定义的四种形式语言文法分别为：__（1）_文法（又称_（2）___文法）、（3）___文法（又称_（4）___文法）、__（5）_文法（又称_（6）___文法）、_（7）__文法（又称__（8）__文法）
（1）0型 （2）短语文法 （3）1型 （4）上下文有关文法 （5）2型 （6）上下文无关文法 （7）3型 （8）正则
8、确定的有穷自动机是一个（五元组），通常表示为（(S, Σ,δ,s0, F)）
19、单词的描述工具有有穷自动机、（正规式）与（正规文法）
20、单词的三种描述工具互相方间存在（等价性）
21、符号表的内容包括两面部分：_标识符的名字_和__与标识符相关的信息_。
11、在编译中，各个阶段均广泛应用于的数据结构是（表），它记录着不同阶段时的信息，以便查询和修改，其中使用期最长的是（符号表）
22、在PASCAL中，由于允许用户动态申请与释放内存间，所以必须采用（堆）存储分配技术
23、过程与过程引用中信息交换的方法是（参数传递）与（全局变量）

四、名词解释(每题2分，共10分)
1、遍 :指编译程序对源程序或中间代码程序从头到尾扫描一次。
2．无环路有向图(DAG):如果有向图中任一通路都不是环路，则称有向图为无环路有向图，简称DAG。
3．语法分析:按文法的产生式识别输入的符号串是否为一个句子的分析过程。
4．短语:令G是一个文法。S划文法的开始符号，假定αβδ是文法G的一个句型，如果有SαAδ且AB，则称β是句型αβ相对非终结符A的短语。
5．后缀式:种把运算量写在前面，把算符写在后面的表示表达式的方法。
6．词法分析器:指执行词法分析的程序。
7．语法:组规则，用它可以形成和产生一个合式的程序
8．最右推导:指对于一个推导序列中的每一步直接推导，被替换的总是当前符号串中的最右非终结符号。
9．语法制导翻译:在语法分析过程中，根据每个产生式所对应的语义子程序进行翻译的办法叫做语法制导翻译。
10．基本块:指程序中一个顺序执行的语句序列，其中只有一个入口，一个出口，入口即第一个语句。出口即最后一个语句。

五、简述题(每题4分，共24分)
1、何谓优化？按所涉及的程序范围可分为哪几级优化？
2、目标代码有哪几种形式？生成目标代码时通常应考虑哪几个问题？
3、符号表的作用是什么？符号表的查找的整理技术有哪几种?
4、所谓DISPLAY表？其作用是什么?
5、LL （ 1 ）分析法对文法有哪些要求？
6、常见的存储分配策略有几种？它们都适合于什么性质的语言？
7、常见循环优化都有哪些项目？
8、什么是活动记录？它主要由哪些内容构成？

1、 答：优化：对程序进行各种等价变换，使得从变换后的程序出发，能产生更有效的目标代码。　　　　　　　　(2分)
　　三种级别：局部优化、循环优化、全局优化。　　(2分)
2、 答：目标代码通常采用三种形式：机器语言，汇编语言，待装配机器语言模块。(2分
　　　　应着重考虑的问题：
　　　　(1)如何使生成的目标代码较短；
　　　　(2)如何充分利用寄存器，以减少访问内存次数；
　　 　 (3)如何充分利用指仅系统的的特点。　　　　　 (2分)
3、答：
作用：登记源程序中出现的各种名字及其信息，以及编译各阶段的进展状况。(2分)
主要技术：线性表，对折查找与二叉树，杂凑技术。(2 分)
4、 答： display表是层次显示表。
由于过程嵌套允许内层过程引用外层过程定义的数据，因此，当一个过程运行时必须跟踪它的所有外层过程的最新活动记录起始地址，而display表就是用于登记每个外层过程的最新活动记录起始地址。
5、答：对于 G 中的每个产生式 A →γ 1 | γ 2 | … | γ m ，其各候选式均应满足：
（1）不同的候选式不能推出以同一终结符号打头的符号串，即
 FIRST( γ i ) ∩ FIRST( γ j )= φ（ 1 ≤ i ， j ≤ m ； i ≠ j ）
（2）若有γ j ε，则其余候选式γ i 所能推出的符号串不能以 FOLLOW(A) 中的终结符号开始，即有
  FIRST( γ i ) ∩ FOLLOW(A)= φ（ i ≤ 1,2, … ,m ； i ≠ j ）
6、答：有三种分配存储空间的方式：
（ 1 ） 静态分配 若在编译阶段就能确定源程序中各个数据实体的存储空间大小，则可以采用较简单的静态存储管理。适合静态管理的语言应具备条件： 数组上下界是常数、过程调用不允许递归、不允许动态建立数据实体。
（ 2） 栈式分配 适用于允许递归调用的程序设计语言 ；
（ 3 ） 堆式分配 对于允许程序在运行时为变量 动态申请和释放存储空间 的语言 ，采用 堆式分配 是最有效的解决方案 。
7、答：不变运算外提；运算强度削弱；消除归纳变量；下标变量地址计算优化。
8、答：一个过程的一次执行所需信息的管理，是通过称为 活动记录 的连续存储块来实现的。活动记录的主要内容有：
（ 1） 临时变量域 存放目标程序临时变量的值；
（ 2 ）局部数据域 存放过程本次执行时的局部数据、简单变量及数组内情向量等；
（ 3 ）机器状态域 保存在调用过程前有关机器状态的信息，包括各寄存器的当前值及返回地址等；
（ 4 ）存取链 为访问其它活动记录中所存放的非局部数据所提供的链地址；
（ 5 ）控制链 指向主调过程的活动记录；
（ 6 ）实参 存放主调过程为被调用过程所提供的实参信息；
（ 7 ）返回值 为主调过程存放被调过程的返回值
6