2023年编译原理考题 答案

发布 2021-11-19 13:29:28 阅读 6071

一、选择题(每个选择题 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 .什么是活动记录?它主要由哪些内容构成?

5 . 简述好乐买优惠券网采用的是何种文章系统。

五、( 12 分) 已给文法 g[s] :s → sap | sf | p p → qbp | q

将 g[s] 改造成 ll ( 1 )文法,并给出 ll ( 1 )分析表。

七、( 8 分) 将下面的条件语句表示成逆波兰式和四元式序列:

if a>b 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 )

五、 改造后的文法: s → ps' s' →aps'| fs' |e p → qp' p' →bp | e

各候选式的 first 集,各非终结符的 follow 集为

ll(1) 分析表为

七、( 1 )逆波兰式:

其中, ble 表示汪或等于时的转向指令; [表示标号。

2 )四元式:

1) (j>, a, b, (3))

2) (j, ,7) )

3) (b, c, t1)

4) (a, t1, t2)

5) (t2, ,x)

6) (j, ,9))

7) (b, a, t3)

8) (t3, ,x)

八、化简后的的四元式序列为

a :=d+12

e :=e+f

c :=28

二、填空题(每题2分,共20分)

1、从功能上说,程序语言的语句大体可分为___语句和___语句两大类。

2、扫描器的任务是从___中识别出一个个___

3、所谓最右推导是指。

4、语法分析最常用的两类方法是___和___分析法。

5、一个上下文无关文法所含四个组成部分是。

6、所谓语法制导翻译方法是。

7、符号表中的信息栏中登记了每个名字的有关的性质,如___等等。

8、一个过程相应的display表的内容为。

9、常用的两种动态存贮分配办法是___动态分配和___动态分配。

10、产生式是用于定义___的一种书写规则。

四、简述题(每题4分,共24分)

1、考虑下面程序

var a:integer;

procedure s(x);

var x:integer;

begin

a:=a+1;

x:=a+x

end; begin

a:=5;

s(a);

print(a)

end. 试问:若参数传递方式分别采取传名和传值时,程序执行后输出a的值是什么?

3、写出表达式(a+b*c)/(a+b)-d的逆波兰表示及三元式序列。

4、已知文法g(s)

s→a|∧|t)

t→t,s|s

写出句子((a,a),a)的规范归约过程及每一步的句柄。

五、计算题(共41分)

1、写一个文法,使其语言是奇数集,且每个奇数不以0开头。(5分)

2、设文法g(s):

s→(l)|a s|a

l→l,s|s

(1)消除左递归和回溯;

(2)计算每个非终结符的first和follow;

(3)构造**分析表。

3、while a>0 ∨b<0 do

begin

x:=x+1;

if a>0 then a:=a-1

else b:=b+1

end; 翻译成四元式序列。(7分)

4、已知文法g(e)

e→t|e+t

t→f|t *f

f→(e)|i

(1)给出句型(t *f+i)的最右推导及画出语法树;

(2)给出句型(t *f+i)的短语、素短语。(7分)

6、设有基本块

t1:=2

t2:=10/t

t3:=s-r

t4:=s+r

a:=t2 *t4

b:=at5:=s+r

t6:=t3 *t5

b:=t6

(1)画出dag图;

(2)假设基本块出口时只有a,b还被引用,请写出优化后的四元序列。(6分)

参***:二、 1 执行性、 说明性 2、 源程序、 单词符号 3、 任何一步αβ都是对α中最右非终结符进行替换的 4 自上而下、 自下而上 5、 一组终结符号,一组非终结符号、一个开始符号、一组产生式 6、 为每个产生式配上一个翻译子程序,并在语法分析的同时执行这些子程序 7、 类型、种属、所占单元大小、地址 8、 现行活动记录地址和所有外层最新活动记录的地址 9、 栈式、 堆式 10、 语法范畴

四、简述题。

1、答:传名:a=12 (2分)

传值:a=6 (2分)

3、答:逆波兰表示:

abc*+ab+/d- (2分)

三元式序列:

b,c) a,①)

a,b) d) (2分)

4、答: 句型归约规则句柄

((a,a),a) s→a a

((s,a),a) t→s s

((t,a),a) s→a a

((t,s),a) t→t,s t,s

((s),a) t→s s

((t),a) s→s(t) (t)

(s,a) t→s s

(t,a) s→a a

(t,s) t→t,s t,s

(t) s→(t) (t)

s4分)1、解:文法g(n):

n→ab|b

a→ac|d

b→1|3|5|7|9

d→b|2|4|6|8

c→0|d (5分)

2、解:(1)

s→(l)|as'

s'→s|ε

l→sl'

l'→sl'|ε

评分细则:消除左递归2分,提公共因子2分。

first)s)= follow(s

first(s')=follow(s

first(l)= follow(l)=

first(lfollow(l'〕=

3、解: (1) (j>,a,0,5)

(2) (j,-,3)

(5) (1,t1)

(6) (t1,-,

(7) (j≥,a,0,9)

(8) (j,-,12)

(9) (a,1,t2)

(10) (t2,-,a)

(11) (j,-,1)

(12) (b,1, t3)

(13) (t3,-,b)

(14) (j,-,1)

评分细则:控制结构4分,其它3分。

4、解:(1) 最右推导:

etf(e)(e+t)(e+f)(e+i)

(t+i)(t*f+i)

(2) 短语:(t*f+i),t*f+i,t*f,i (2分)

素短语:t*f,i1分)

编译原理常考题型试题

第二章。1.用形式化方式描述句型 句子和语言的概念。2.用形式化方式描述短语 直接短语的概念,什么是句柄?3.教材第34页的第10题 即第二章习题的第10题 4.现代编译常用的语法分析方法分哪两大类?各自的基本思想是什么?各自的关键问题是什么?5.请构造一文法,使文法产生的语言是正偶数集合,并规定偶...

编译原理作业1答案

计算机科学系 2012春季学期。编译原理 第一次作业参 一 下列正则表达式定义了什么语言 用尽可能简短的自然语言描述 1.b ab ab 所有含有偶数个a的由a和b组成的字符串。2.c a a c b a b c c b b c a a b c 答案一 所有至少含有1个a和1个b的由a,b和c组成的...

编译原理作业7答案

软件学院 2012秋季学期。编译原理 第七次作业参 一 证明下列文法。s aa bac dc bdaa d是lalr 1 文法但不是slr 1 文法。构造lr 1 自动机 没有需要合并的状态 没有状态存在冲突,因而是lalr 1 文法。构造lr 0 自动机 在状态i6,由于 a follow a 因...