高等教育编译原理期末考卷 试题复习题集合和答案.docx
《高等教育编译原理期末考卷 试题复习题集合和答案.docx》由会员分享,可在线阅读,更多相关《高等教育编译原理期末考卷 试题复习题集合和答案.docx(91页珍藏版)》请在冰豆网上搜索。
高等教育编译原理期末考卷试题复习题集合和答案
编译原理考卷复习题集合和答案
一、对于文法G[S]:
S→1A|0B|ε A→0S|1AA B→1S|0BB
⑴(3分)请写出三个关于G[S]的句子;
⑵(4分)符号串11A0S是否为G[S]的句型?
试证明你的结论。
⑶(3分)试画出001B关于G[S]的语法树。
二、请构造一个文法,使其产生这样的表达式E:
表达式中只含有双目运算符+、*,且+的优先级高于*,+采用右结合,*采用左结合,运算对象只有标识符i,可以用括号改变运算符优先级。
要求给出该文法的形式化描述。
三、设有语言L={α|α∈{0,1}+,且α不以0开头,但以00结尾}。
⑴试写出描述L的正规表达式;
⑵构造识别L的DFA(要求给出详细过程,并画出构造过程中的NDFA、DFA的状态转换图,以及DFA的形式化描述)。
四、给定文法G[S]:
S→AB
A→aB|bS|c
B→AS|d
⑴(6分)请给出每一个产生式右部的First集;
⑵(3分)请给出每一个非终结符号的Follow集;
⑶(8分)请构造该文法的LL
(1)分析表;
⑷(8分)什么是LL
(1)文法?
该文法是LL
(1)文法吗?
为什么?
五、给定文法G[S]:
S→SaA|a
A→AbS|b
⑴请构造该文法的以LR(0)项目集为状态的识别规范句型活前缀的DFA。
⑵请构造该文法的LR(0)分析表。
⑶什么是LR(0)文法?
该文法是LR(0)文法吗?
为什么?
⑷什么是SLR
(1)文法?
该文法是SLR
(1)文法吗?
为什么?
六、给定下列语句:
ifa+b>c
thenx:
=a*(b-c)+(b*c-d)/e
⑴写出其等价的逆波兰表示;
⑵写出其等价的四元式序列。
七、已知下列C语言程序:
int*f()
{ inta=100;return&a;
}
main()
{ int*i=f();
chara[]=“compiler”;printf(“theresultis%d\n”,*i);
}
程序运行结果为:
theresultis26157,
请解释为什么程序运行的结果不是期望的“theresultis100”?
1.1三个0和1数量相等的串
1.2S=>1A=>11AA=>11A0S
1.3
第二题构造文法如下:
G[E]=({+,*,(,),i},{E,F,T},P,E),其中P为:
E→E*F|FF→T+F|TT→(E)|i
第三题
(1)正规表达式:
1(0|1)*00
(2)第一步:
将正规表达式转换为NDFA
第二步:
将NDFA确定化为DFA:
造表法确定化(3分)确定化后DFAM的状态转换表(2分)
状态输入
I0
I1
t
0
1
[S]
—
[A,D,B]
q0
—
q1
[A,D,B]
[D,B,C]
[D,B]
重新命名
q1
q2
q3
[D,B,C]
[D,B,C,Z]
[D,B]
q2
q4
q3
[D,B]
[D,B,C]
[D,B]
q3
q2
q3
[D,B,C,Z]
[D,B,C,Z]
[D,B]
q4
q4
q3
DFA的状态转换图(3分)
第三步:
给出DFA的形式化描述
DFAM=({q0,q1,q2,q3,q4},{0,1},t,q0,{q4})
t的定义见M的状态转换表。
第四题
(1)First(AB)={a,b,c}
First(aB)={a}
First(bS)={b}
First(c)={c}
First(AS)={a,b,c}
First(d)={d}
(2)Follow(S)={#,a,b,c,d}
Follow(A)={a,b,c,d}
Follow(B)={#,a,b,c,d}
(3)LL
(1)分析表(8分)
VN
VT
a
b
c
d
#
S
S?
AB
S?
AB
S?
AB
A
A?
aB
A?
bS
A?
C
B
B?
AS
B?
AS
B?
AS
B?
d
(4)对于文法G的每一个非终结符U的产生式U?
α1|α2|…|αn,
如果SELECT(U?
αi)?
SELECT(U?
αj)=?
(i≠j,i,j=1,2,…,n),
则文法G是一个LL
(1)文法。
该文法是LL
(1)文法。
因为SELECT(A?
aB)?
SELECT(A?
bS)?
SELECT(A?
C)=?
SELECT(B?
AS)?
SELECT(B?
d)=?
第五题⑴拓广文法1分
G[S′]:
S′→S⑴
S→SaA⑵S→a⑶A→AbS⑷A→b⑸
该文法的以LR(0)项目集为状态的识别规范句型活前缀的DFA:
⑵该文法的LR(0)分析表:
状态
ACTION
GOTO
a
b
#
S
A
0
S2
1
1
S3
acc
2
r3
r3
r3
3
S5
4
4
r2
r2/S6
r2
5
r5
r5
r5
6
S2
7
7
r4/S3
r4
r4
⑶LR(0)文法:
该文法的以LR(0)项目集为状态的识别规范句型活前缀的DFA中没有冲突状态。
该文法不是LR(0)文法
因为存在冲突状态:
I4和I7
⑷SLR
(1)文法:
该文法的以LR(0)项目集为状态的识别规范句型活前缀的DFA中有冲突状态,冲突可用FOLLOW集解决。
该文法不是SLR
(1)文法。
因为FOLLOW(S)={a,b,#},所以无法解决冲突
第六题
(1)
(1)ab+c>(23)jumpf
(8)xabc-*bc*d-e/+:
=
(23)...
(2)
第七题
C语言采用栈式存储分配方法作为其运行环境;
f()返回的是指向其活动记录某一位置的指针;
f()返回后,其活动记录被释放,并且,其对应的存储空间被数组a占用,
再次引用该指针时,其结果由于对回收的活动记录所占用的内存空间的再分配,其所指的值
发生了改变。
释放在前,引用在后的现象称:
DanglingReference。
一、单项选择题(共10小题,每小题2分,共20分)
1.语言是A
A.句子的集合B.产生式的集合
C.符号串的集合D.句型的集合
2.编译程序前三个阶段完成的工作是C
A.词法分析、语法分析和代码优化
B.代码生成、代码优化和词法分析
C.词法分析、语法分析、语义分析和中间代码生成
D.词法分析、语法分析和代码优化
3.一个句型中称为句柄的是该句型的最左D
A.非终结符号B.短语C.句子D.直接短语
4.下推自动机识别的语言是C
A.0型语言B.1型语言
C.2型语言D.3型语言
5.扫描器所完成的任务是从字符串形式的源程序中识别出一个个具有独立含义的最小语法单位即B
A.字符B.单词C.句子D.句型
6.对应Chomsky四种文法的四种语言之间的关系是B
A.L0L1L2L3B.L3L2L1L0
C.L3=L2L1L0D.L0L1L2=L3
7.词法分析的任务是A
A.识别单词B.分析句子的含义
C.识别句子D.生成目标代码
8.常用的中间代码形式不含D
A.三元式B.四元式C.逆波兰式D.语法树
9.代码优化的目的是C
A.节省时间B.节省空间
C.节省时间和空间D.把编译程序进行等价交换
10.代码生成阶段的主要任务是C
A.把高级语言翻译成汇编语言
B.把高级语言翻译成机器语言
C.把中间代码变换成依赖具体机器的目标代码
D.把汇编语言翻译成机器语言
二、填空题(本大题共5小题,每小题2分,共10分)
1.编译程序首先要识别出源程序中每个(单词),然后再分析每个(句子)并翻译其意义。
2.编译器常用的语法分析方法有(自底向上)和(自顶向下)两种。
3.通常把编译过程分为分析前端与综合后端两大阶段。
词法、语法和语义分析是对源程序的(分析),中间代码生成、代码优化与目标代码的生成则是对源程序的(综合)。
4.程序设计语言的发展带来了日渐多变的运行时存储管理方案,主要分为两大类,即(静态存储分配)方案和(动态存储分配)方案。
5.对编译程序而言,输入数据是(源程序),输出结果是(目标程序)。
三、名词解释题(共5小题,每小题4分,共20分)
1.词法分析
词法分析的主要任务是从左向右扫描每行源程序的符号,按照词法规则
从构成源程序的字符串中识别出一个个具有独立意义的最小语法单位,
并转换成统一的内部表示(token),送给语法分析程序。
2.LL
(1)文法
若文法的任何两个产生式A|都满足下面两个条件:
(1)FIRST()FIRST()=;
(2)若*,那么FIRST()FOLLOW(A)=。
我们把满足这两个条件的文法叫做LL
(1)文法,其中的第一个L代表从左
向右扫描输入,第二个L表示产生最左推导,1代表在决定分析器的每步
动作时向前看一个输入符号。
除了没有公共左因子外,LL
(1)文法还有一
些明显的性质,它不是二义的,也不含左递归。
3.语法树
句子的树结构表示法称为语法树(语法分析树或语法推导树)。
给定文法G=(VN,VT,P,S),对于G的任何句型都能构造与之关联的
语法树。
这棵树具有下列特征:
(1)根节点的标记是开始符号S。
(2)每个节点的标记都是V中的一个符号。
(3)若一棵子树的根节点为A,且其所有直接子孙的标记从左向右的排列
次序为A1A2…AR,那么AA1A2…AR一定是P中的一条产生式。
(4)若一标记为A的节点至少有一个除它以外的子孙,则A
VN。
(5)若树的所有叶节点上的标记从左到右排列为字符串w,则w是文法G
的句型;若w中仅含终结符号,则w为文法G所产生的句子。
4.LR(0)分析器
所谓LR(0)分析,是指从左至右扫描和自底向上的语法分析,且在分析的
每一步,只须根据分析栈当前已移进和归约出的全部文法符号,并至多再
向前查看0个输入符号,就能确定相对于某一产生式左部符号的句柄是否
已在分析栈的顶部形成,从而也就可以确定当前所应采取的分析动作(是
移进还是按某一产生式进行归约等)。
5.语言和文法
文法就是语言结构的定义和描述,是有穷非空的产生式集合。
文法G定义为四元组的形式:
G=(VN,VT,P,S)
其中:
VN是非空有穷集合,称为非终结符号集合;VT是非空有穷集合,
称为终结符号集合;P是产生式的集合(非空);S是开始符号(或识别符号)。
这里,VN∩VT=,S
VN。
V=VN∪VT,称为文法G的字母表,它是出现
文法产生式中的一切符号的集合。
文法G所描述的语言用L(G)表示,它由文法G所产生的全部句子组成,即
L(G)={x|S*x,其中S为文法开始符号,且
}
简单的说,文法描述的语言是该文法一切句子的集合。
四、简答题(共4小题,每小题5分,共20分)
1.编译程序和高级语言有什么区别?
用汇编语言或高级语言编写的程序,必须先送入计算机,经过转换成用机器
语言表示的目标程序(这个过程即编译),才能由计算机执行。
执行转换过程
的程序叫编译程序。
汇编程序是指没有编译过的汇编语言源文件。
编译程序转
换过的叫目标程序,也就是机器语言。
编译程序的工作情况有三种:
汇编型、解释型和编译型。
汇编型编译程序用来
将汇编语言编写的程序,按照一一对应的关系,转换成用机器语言表示的程序。
解释型编译程序将高级语言程序的一个语句,先解释成为一组机器语言的指令,
然后立即执行,执行完了,取下一组语句解释和执行,如此继续到完成一个程序
止。
用解释型编译程序,执行速度很慢,但可以进行人和计算机的"对话",随时
可以修改高级语言的程序。
BASIC语言就是解释型高级语言。
编译型编译程序将
级语言编写的程序,一次就会部翻译成机器语言表示的程序,而且过程进行很快,
在过程中,不能进行人机对话修改。
FORTRAN语言就是编译型高级语言。
2.编译程序的工作分为那几个阶段?
词法分析、语法分析和语义分析是对源程序进行的分析(称为编译程序的前端),
而中间代码生成、代码优化和代码生成三个阶段合称为对源程序进行综合(称为
编译程序的后端),它们从源程序的中间表示建立起和源程序等价的目标程序。
3.简述自下而上的分析方法。
所谓自下而上分析法就是从输入串开始,逐步进行“归约”,直至归约到文法的
开始符号;或者说从语法树的末端开始,步步向上“归约”,直到根节点。
4.简述代码优化的目的和意义。
代码优化是尽量生成“好”的代码的编译阶段。
也就是要对程序代码进行
一种等价变换,在保证变换前后代码执行结果相同的前提下,尽量使目
标程序运行时所需要的时间短,同时所占用的存储空间少。
五、综合应用题(共3小题,每小题10分,共30分)
1.证明下述文法G:
SaSbS|aS|d
是二义性文法。
解:
一个文法,如果存在某个句子有不只一棵语法分析树与之对应,那么称这个
文法是二义性文法。
句子aadbd有两棵语法树。
如下图:
d
d
(1)
(2)
由此可知,SaSbS|aS|d定义的文法是二义性文法。
2.对于文法G[S]:
SAB,AAa|bB,Ba|Sb求句型baSb的全部短语、直接短语和句柄?
句型baSb的语法树如图五
(2)所示。
b
图五
(2)句型baSb的的语法树
解:
baSb为句型baSb的相对于S的短语,ba为句型baSb的相对于A的短语,Sb为句型baSb的相对于B的短语,且为直接短语,a为句型baSb的相对于B的短语,且为直接短语和句柄。
3.设有非确定的有自限动机NFAM=({A,B,C},{0,1},,{A},{C}),其中:
(A,0)={C}(A,1)={A,B}(B,1)={C}(C,1)={C}。
请画出状态转换距阵和状态转换图。
解:
状态转换距阵为:
0
1
A
C
A,B
B
C
C
C
状态转换图为:
1
八大卷子复习题
《编译原理》期末试题
(一)
一、是非题(请在括号内,正确的划√,错误的划×)(每个2分,共20分)
1.编译程序是对高级语言程序的解释执行。
(×)
2.一个有限状态自动机中,有且仅有一个唯一的终态。
(×)
3.一个算符优先文法可能不存在算符优先函数与之对应。
(√)
4.语法分析时必须先消除文法中的左递归。
(×)
5.LR分析法在自左至右扫描输入串时就能发现错误,但不能准确地指出出错地点。
(√)
6.逆波兰表示法表示表达式时无须使用括号。
(√)
7.静态数组的存储空间可以在编译时确定。
(×)
8.进行代码优化时应着重考虑循环的代码优化,这对提高目标代码的效率将起更大作用。
(×)
9.两个正规集相等的必要条件是他们对应的正规式等价。
(×)
10.一个语义子程序描述了一个文法所对应的翻译工作。
(×)
二、选择题(请在前括号内选择最确切的一项作为答案划一个勾,多划按错论)(每个4分,共40分)
1.词法分析器的输出结果是_____。
A.()单词的种别编码 B.()单词在符号表中的位置
C.()单词的种别编码和自身值 D.()单词自身值
2.正规式M1和M2等价是指_____。
A.()M1和M2的状态数相等 B.()M1和M2的有向边条数相等
C.()M1和M2所识别的语言集相等 D.()M1和M2状态数和有向边条数相等
3.文法G:
S→xSx|y所识别的语言是_____。
A.()xyx B.()(xyx)*C.()xnyxn(n≥0) D.()x*yx*
4.如果文法G是无二义的,则它的任何句子α_____。
A.()最左推导和最右推导对应的语法树必定相同
B.()最左推导和最右推导对应的语法树可能不同
C.()最左推导和最右推导必定相同
D.()可能存在两个不同的最左推导,但它们对应的语法树相同
5.构造编译程序应掌握______。
A.()源程序 B.()目标语言
C.()编译方法 D.()以上三项都是
6.四元式之间的联系是通过_____实现的。
A.()指示器 B.()临时变量
C.()符号表 D.()程序变量
7.表达式(┐A∨B)∧(C∨D)的逆波兰表示为_____。
A.()┐AB∨∧CD∨ B.()A┐B∨CD∨∧
C.()AB∨┐CD∨∧ D.()A┐B∨∧CD∨
8.优化可生成_____的目标代码。
A.()运行时间较短 B.()占用存储空间较小
C.()运行时间短但占用内存空间大 D.()运行时间短且占用存储空间小
9.下列______优化方法不是针对循环优化进行的。
A.()强度削弱 B.()删除归纳变量
C.()删除多余运算 D.()代码外提
10.编译程序使用_____区别标识符的作用域。
A.()说明标识符的过程或函数名
B.()说明标识符的过程或函数的静态层次
C.()说明标识符的过程或函数的动态层次
D.()标识符的行号
三、填空题(每空1分,共10分)
1.计算机执行用高级语言编写的程序主要有两种途径:
___解释__和__编译___。
2.扫描器是__词法分析器___,它接受输入的__源程序___,对源程序进行___词法分析__并识别出一个个单词符号,其输出结果是单词符号,供语法分析器使用。
3.自上而下分析法采用___移进__、归约、错误处理、___接受__等四种操作。
4.一个LR分析器包括两部分:
一个总控程序和___一张分析表__。
5.后缀式abc-/所代表的表达式是___a/(b-c)__。
6.局部优化是在__基本块___范围内进行的一种优化。
四、简答题(20分)
1.简要说明语义分析的基本功能。
答:
语义分析的基本功能包括:
确定类型、类型检查、语义处理和某些静态语义检查。
2.考虑文法G[S]:
S→(T)|a+S|a
T→T,S|S
消除文法的左递归及提取公共左因子。
解:
消除文法G[S]的左递归:
S→(T)|a+S|a
T→ST′
T′→,ST′|ε
提取公共左因子:
S→(T)|aS′
S′→+S|ε
T→ST′
T′→,ST′|ε
3.试为表达式w+(a+b)*(c+d/(e-10)+8)写出相应的逆波兰表示。
解:
wab+cde10-/+8+*+
4.按照三种基本控制结构文法将下面的语句翻译成四元式序列:
while(A{
if(A≥1)C=C+1;
elsewhile(A≤D)
A=A+2;
}。
解:
该语句的四元式序列如下(其中E1、E2和E3分别对应A<C∧B<D、A≥1和A≤D,并且关系运算符优先级高):
100(j<,A,C,102)
101(j,_,_,113)
102(j<,B,D,104)
103(j,_,_,113)
104(j=,A,1,106)
105(j,_,_,108)
106(+,C,1,C)
107(j,_,_,112)
108(j≤,A,D,110)
109(j,_,_,112)
110(+,A,2,A)
111(j,_,_,108)
112(j,_,_,100)
113
5.已知文法G[S]为S→aSb|Sb|b,试证明文法G[S]为二义文法。
证明:
由文法G[S]:
S→aSb|Sb|b,对句子aabbbb对应的两棵语法树为:
因此,文法G[S]为二义文法。
五.计算题(10分)
已知文法
A->aAd|aAb|ε
判断该文法是否是SLR
(1)文法,若是构造相应分析表,并对输入串ab#给出分析过程。
解:
增加一个非终结符S/后,产生原文法的增广文法有:
S'->A
A->aAd|aAb|ε
下面构造它的LR(0)项目集规范族为:
从上表可看出,状态I0和I2存在移进-归约冲突,该文法不是LR(0)文法。
对于I0来说有:
FOLLOW(A)∩{a}={b,d,#}∩{a}=Φ,所以在I0状态下面临输入符号为a时移进,为b,d,#时归约,为其他时报错。
对于I2来说有也有与I0完全相同的结论。
这就是说,以上的移进-归约冲突是可以解决的,因此该文法是SLR
(1)文法。
其SLR
(1)分析表为:
对输入串ab#给出分析过程为:
《编译原理》期末试题