西安理工大学《编译原理》模拟试题一.docVIP

模拟试题一 发表日期：2009年6月5日 编辑：admin 阅读数：409 一、选择题（每个选择题 2 分，共 20 分） 1 ．文法 G 产生的 ⑴ 的全体是该文法描述的语言。 A ．句型 B. 终结符集 C. 非终结符集 D. 句子 2 ．若文法 G 定义的语言是无限集，则文法必然是 ⑵ ： 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. ①②⑤⑥⑧ 二、简答题（每小题 5 分，共 20 分） 1 ． LL （ 1 ）分析法对文法有哪些要求？ 2 ．常见的存储分配策略有几种？它们都适合于什么性质的语言？ 3 ．常见循环优化都有哪些项目？ 4 ．什么是活动记录？它主要由哪些内容构成？ 三、（ 8 分）化简文法 G[S] ： S → ASe | BCaD | aD | AC A → Cb | DBS C → bC | d B → Ac D → aD 四、（ 12 分） 设 L í {a,b,c}* 是满足下述条件的符号串构成的语言： (1)若出现 a ，则其后至少紧跟两个 c ； (2)若出现 b ，其后至少紧跟一个 c 。 试构造识别 L 的最小化的 DFA ，并给出描述 L 的正规表达式。 五、（ 12 分） 已给文法 G[S] ： S → SaP | Sf | P P → qbP | q 将 G[S] 改造成 LL （ 1 ）文法，并给出 LL （ 1 ）分析表。 六、（ 12 分） 给定文法 G[S] ： S → Aa|dAb|Bb|dBa A → c B → c 构造文法 G[S] 的 LR （ 1 ）分析表。 七、（ 8 分） 将下面的条件语句表示成逆波兰式和四元式序列： if ab then x:=a+b*c else x:=b-a; 八、（ 8 分） 给定基本块： A:=3*5 B:=E+F C:=A+12 D:=E+F A:=D+12 C:=C+1 E:=E+F 假定出基本块后，只有 A 、 C 、 E 是活跃的，给出用 DAG 图完成优化后的代码序列。 参考答案： 一、⑴ D ⑵ A ⑶ A ⑷ C ⑸ G. ⑹ A ⑺ B ⑻ A ⑼ F ⑽ A 二、 1 ．对于 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 ） 2 ．有三种分配存储空间的方式：（ 1 ） 静态分配 若在编译阶段就能确定源程序中各个数据实体的存储空间大小，则可以采用较简单的静态存储管理。 适合 静态管理 的语言应具备条件： 数组上下界是常数、过程调用不允许递归、不允许动态建立数据实体。 （ 2） 栈式分配 适用于允许递归调用的程序设计语言 ；（ 3 ） 堆式分配 对于允许程序在运行时为变量 动态申请和释放存储空间 的语言 ， 采用 堆式分配 是最有效的解决方案 。 3 ．不变运算外提；运算强度削弱；消除归纳变量；下标变量地址计算优化。 4 ． 一个过程的一次执行所需信息的管理，是通过称为 活动记录 的连续存储块来实现的。活动记录的主要内容有：（ 1） 临时变量域 存放目标程序临时变量的值；（ 2 ）局部数据域 存放过程本次执行时的局部数据、简单变量及数组内情向量等；（ 3 ）机器状态域 保存在调用过程前有关机器状态的信息，