一、判断题（）
1．一个 LL(l)文法一定是无二义的。 ( Y)
2．正规文法产生的语言都可以用上下文无关文法来描述。 ( N)
3．一张转换图只包含有限个状态，其中有一个被认为是初态，最多只有一个终态。 ( Y)
4．目标代码生成时，应考虑如何充分利用计算机的寄存器的问题。 ( N)
5．逆波兰法表示的表达式亦称前缀式 。 (Y )
6．如果一个文法存在某个句子对应两棵不同的语法树，则称这个文法是二义的。 (Y )
7．LR 法是自顶向下语法分析方法。 ( N)
8．数组元素的地址计算与数组的存储方式有关。( N)
9．算符优先关系表不一定存在对应的优先函数。 (N )
10．对于数据空间的存贮分配， FORTRAN 采用动态贮存分配策略。 (N )
参考答案：
1、× 2、× 3、√ 4、× 5、√
6、√ 7、× 8、× 9、× 10、×
二． 填空题（每空 2 分，共 20 分）
- 不同的编译程序关于数据空间的存储分配策略可能不同，但大部分编译中采用的方案有两种：静态存储分配方案和动态存储分配方案，而后者又分为（1） 和 （2） 。
- 规范规约是最（3）规约。
- 编译程序的工作过程一般划分为 5 个阶段：词法分析、（4） 、语义分析与中间代码生成，代码优化及（5） 。另外还有（6）和出错处理。
4．表达式 x+yz/(a+b)的后缀式为 （7） 。
5．文法符号的属性有综合属性和 （8）。
6．假设二位数组按行存放，而且每个元素占用一个存储单元，则数组 a[1…15,1…20]某个元素 a[i，j]的地址计算公式为（9）。
7．局部优化是局限于一个（10）范围内的一种优化。
答案：
(1) 栈式动态存储分配
(2) 堆式动态存储分配
(3) 左
(4) 语法分析
(5) 目标代码生成
(6) 表格管理
(7) xyzab+/+
(8) 继承属性
(9) a+(i-1)*20+j-1
(10) 基本块
三． 选择题（每问 2 分，共 20 分）
- 一个上下文无关文法 G 包括四个组成部分：一组终结符，一组非终结符，一个（C ），以及一组 产生式。
A． 字符串 B． 产生式 C． 开始符号 D． 文法
2.程序的基本块是指（D ）。
A． 一个子程序 B． 一个仅有一个入口和一个出口的语句
C． 一个没有嵌套的程序段 D． 一组顺序执行的程序段，仅有一个入口和一个出口
- 高级语言编译程序常用的语法分析方法中，递归下降分析法属于（ B）分析方法。
A． 自左向右 B． 自顶向下 C． 自底向上 D． 自右向左
4．在通常的语法分析方法中，（A ）特别适用于表达式的分析。
A． 算符优先分析法 B． LR 分析法
C． 递归下降分析法 D． LL（1）分析法
5．经过编译所得到的目标程序是（ D）。
A． 四元式序列 B． 间接三元式序列
C． 二元式序列 D． 机器语言程序或汇编语言程序
6. 设有文法 G[I]： I I → I1|I0|Ia|Ic|a|b|c
下列符号串中是该文法句子的有（ B）。
① ab0 ② a0c01 ③ aaa ④ bc10
可选项有：
A． ① B．②③④ C．③④ D．①②③④
7.程序的基本块是指（ D）。
A． 一个子程序 B． 一个仅有一个入口和一个出口的语句
C． 一个没有嵌套的程序段 D． 一组顺序执行的程序段，仅有一个入口和一个出口
8. 高级语言编译程序常用的语法分析方法中，递归下降分析法属于（B ）分析方法。
A． 自左向右 B． 自顶向下 C． 自底向上 D． 自右向左
9．经过编译所得到的目标程序是（ D）。
A． 四元式序列 B． 间接三元式序列
C． 二元式序列 D． 机器语言程序或汇编语言程序
10． 运行阶段的存储组织与管理的目的是（ C）。
① 提高编译程序的运行速度 ② 节省编译程序的存储空间
③ 提高目标程序的运行速度 ④ 为运行阶段的存储分配做准备
可选项有：
A. ①② B. ②③ C. ③④ D. ④②
四、简答题（每题10分，共30分）
-
已知文法 G[S] 为：
S→dAB
A→aA|a
B→Bb|ε
G[S] 产生的语言是什么？
参考答案：
答：G[S]产生的语言是L(G[S])={danbm│n≥1,m≥0}。
-
简述 DFA 与 NFA 有何区别 ?
参考答案：
答：DFA与NFA的区别表现为两个方面:一是NFA可以若干个开始状态，而DFA仅只一个开始状态。 另一方面，DFA的映象M是从K×∑到K，而NFA的映象M是从K×∑到K的子集， 即映象M将产生一个状态集合（可能为空集），而不是单个状态。
-
何谓优化？按所涉及的程序范围可分为哪几级优化？
参考答案：
(1)优化：对程序进行各种等价变换，使得从变换后的程序出发，能产生更有效的目标代码。
(2) 三种级别：局部优化、循环优化、全局优化。
五、计算题（共20分）
考虑以下文法:
D → T V
T → int | float
V → id ,V | id
在该文法中提取左公因子。
为所得的文法的非终结符构造First集合和Follow集合。
说明所得的文法是LL(1)文法。
为所得的文法构造LL(1)分析表
假设有输入串 int x,y,z 写出相应的LL(1)分析程序的动作
答案：
a. 文法存在左公因子，提取左公因子后的文法为：
D → T V
T → int | float
V → id V’
V’→ ,V |ε
b.
非终结符
First集合
Follow集合
D
{ int , float }
{ $ }
T
{ int , float }
{ id }
V
{ id }
{ $ }
V’
{ , , ε }
{ $ }
c. (1) First ( TV ) = { int , float }
First(int) ∩ First(float)={int}∩{float}=φ;
First(id V’)={id}；
First(,V) ∩First(ε)={,} ∩{ ε}}=φ;
(2) V’=>ε,
First(V’)∩Follow(V’)= { , , ε }∩{ $ }=φ
根据LL(1)文法的定义判断，此文法是LL(1)文法；
