编译原理习题及答案整理后Word格式.docx

编译原理习题及答案整理后Word格式.docx

《编译原理习题及答案整理后Word格式.docx》由会员分享，可在线阅读，更多相关《编译原理习题及答案整理后Word格式.docx（33页珍藏版）》请在冰豆网上搜索。

a.L（G）=|S,VT*b.L（G）=|S,VT*c.L（G）=|S,（VTVN*）d.L（G）=|S,（VTVN*）3、有限状态自动机能识别。

a.上下文无关文法b.上下文有关文法c.正规文法d.短语文法4、设G为算符优先文法，G的任意终结符对a、b有以下关系成立。

a.若f（a）g（b），则abb.若f（a）g（b），则a0c.anbmcmdn|n,m0d.anbncmdm|n,m0e.anbncndn|n05、自下而上的语法分析中，应从开始分析。

a.句型b.句子c.以单词为单位的程序d.文法的开始符e.句柄6、对正规文法描述的语言，以下有能力描述它。

a.0型文法b.1型文法c.上下文无关文法d.右线性文法e.左线性文法三、填空题1、文法中的终结符和非终结符的交集是。

词法分析器交给语法分析器的文法符号一定是，它一定只出现在产生式的部。

2、最左推导是指每次都对句型中的非终结符进行扩展。

3、在语法分析中，最常见的两种方法一定是分析法，另一是分析法。

4、采用语法分析时，必须消除文法的左递归。

5、树代表推导过程，树代表归约过程。

6、自下而上分析法采用、归约、错误处理、等四种操作。

7、Chomsky把文法分为种类型，编译器构造中采用和文法，它们分别产生和语言，并分别用和自动机识别所产生的语言。

四、判断题1、文法SaS|bR|描述的语言是（a|bc）*（）RcS2、在自下而上的语法分析中，语法树与分析树一定相同。

（）3、二义文法不是上下文无关文法。

（）4、语法分析时必须先消除文法中的左递归。

（）5、规范归约和规范推导是互逆的两个过程。

（）6、一个文法所有句型的集合形成该文法所能接受的语言。

（）五、简答题1、句柄2、素短语3、语法树4、归约5、推导六、问答题1、给出上下文无关文法的定义。

2、文法GS：

SaSPQ|abQQPPQbPbbbQbccQcc

（1）它是Chomsky哪一型文法？

（2）它生成的语言是什么？

3、按指定类型，给出语言的文法。

L=aibj|ji1的上下文无关文法。

4、有文法G：

SaAcB|BdAAaB|cBbScA|b

（1）试求句型aAaBcbbdcc和aAcbBdcc的句柄；

（2）写出句子acabcbbdcc的最左推导过程。

5、对于文法GS：

S（L）|aS|aLL,S|S

（1）画出句型（S,（a）的语法树。

（2）写出上述句型的所有短语、直接短语、句柄和素短语。

6、考虑文法GT：

TT*F|FFFP|PP（T）|i证明T*P（T*F）是该文法的一个句型，并指出直接短语和句柄。

单选解答1、选c。

2、选a。

3、选c。

4、虽然a与b没有优先关系，但构造优先函数后，a与b就一定存在优先关系了。

所以，由f（a）g）（b）或f（a）g（b）并不能判定原来的a与b之间是否存在优先关系：

故选c。

5、如果文法G无二义性，则最左推导是先生长右边的枝叶：

对于d，如果有两个不同的是了左推导，则必然有二义性。

故选a。

6、选c。

7、由图2-8-1的语法树和优先关系可以看出应选b。

8、规范推导是最左推导，故选d。

9、由TT,和T（得FIRSTVT（T）=（,，）；

由TS得FIRSTVT（S）FIRSTVT（T），而FIRSTVT（S）=b,（；

即FIRSTVT（T）=b,（,，；

因此选c。

10、d11、c12、b13、b14、b多选解答1、e、a、c2、a、c、e3、b、c、d4、a、c5、b、c6、a、b、c、d、e填空解答1、空集终结符右2、最左3、自上而上自下而上4、自上而上5、语法分析6、移进接受7、42型3型上下文无关语言正规语言下推自动机有限判断解答1、对2、错3、错4、错5、错6、错简答解答1、句柄：

一个句型的最左直接短语称为该句型的句柄。

2、素短语：

至少含有一个终结符的素短语，并且除它自身之外不再含任何更小的素短语。

3、语法树：

满足下面4个条件的树称之为文法GS的一棵语法树。

每一终结均有一标记，此标记为VNVT中的一个符号；

树的根结点以文法GS的开始符S标记；

若一结点至少有一个直接后继，则此结点上的标记为VN中的一个符号；

若一个以A为标记的结点有K个直接后继，且按从左至右的顺序，这些结点的标记分别为X1,X2,XK，则AX1,X2,XK，必然是G的一个产生式。

4、归约：

我们称直接归约出A，仅当A是一个产生式，且、（VNVT）*。

归约过程就是从输入串开始，反复用产生式右部的符号替换成产生式左部符号，直至文法开始符。

5、推导：

我们称A直接推出，即A，仅当A是一个产生式，且、（VNVT）*。

如果12n，则我们称这个序列是从1至2的一个推导。

若存在一个从1n的推导，则称1可推导出n。

推导是归约的逆过程。

问答1解答一个上下文无关文法G是一个四元式（VT,VN,S,P），其中：

VT是一个非空有限集，它的每个元素称为终结符号；

VN是一个非空有限集，它的每个元素称为非终结符号，VTVN=；

S是一个非终结符号，称为开始符号；

P是一个产生式集合（有限），每个产生式的形式是P，其中，PVN，（VTVN）*。

开始符号S至少必须在某个产生式的左部出现一次。

2解答

（1）由于产生式左部存在终结符号，且所有产生式左部符号的长度均小于等于产生式右部的符号长度，所以文法GS是Chomsky1型文法，即上下文有关文法。

（2）按产生式出现的顺序规定优先级由高到低（否则无法推出句子），我们可以得到：

SabQabcSaSPQaabQPQaabPQQaabbQQaabbcQaabbccSaSPQaaSPQPQaaabQPQPQaaabPQQPQaaabPQPQQaaaPPQQQaaabbPqqqaaabbQQQaaabbbcQQaaabbbccQaaabbbccc于是得到文法GS生成的语言L=anbncn|n13【解答】

（1）由L=aibj|ji1知，所求该语言对应的上下文无关文法首先应有SaSb型产生式，以保证b的个数不少于a的个数；

其次，还需有SSb或SbS型的产生式，用以保证b的个数多于a的个数；

也即所求上下文无关文法GS为：

GS：

SaSb|Sb|b4【解答】

（1）分别画出对应两句型的语法树，如图2-8-2所示句柄:

AaBBd图2-8-2语法树

（2）句子acabcbbdcc的最左推导如下：

SaAcBaAaBcBacaBcBacabcBacabcbScAacabcbBdcAacabcbbdcAacabcbbdcc5【解答】

（1）句型（S,（a）的语法树如图2-8-3所示

（2）由图2-8-3可知：

短语：

S、a、（a）、S,（a）、（S,（a）；

直接短语：

a、S；

句柄：

S；

素短语：

素短语可由图2-8-3中相邻终结符之间的优先关系求得，即；

因此素短语为a。

6【解答】首先构造T*P（T*F）的语法树如图2-8-4所示。

由图2-8-4可知，T*P（T*F）是文法GT的一个句型。

直接短语有两个，即P和T*F；

句柄为P。

第三章一、单项选择题1、词法分析所依据的是。

a.语义规则b.构词规则c.语法规则d.等价变换规则2、词法分析器的输出结果是。

a.单词的种别编码b.单词在符号表中的位置c.单词的种别编码和自身值d.单词自身值3、正规式M1和M2等价是指。

a.M1和M2的状态数相等b.M1和M2的有向弧条数相等c.M1和M2所识别的语言集相等d.M1和M2状态数和有向弧条数相等4、状态转换图（见图3-6-1）接受的字集为。

a.以0开头的二进制数组成的集合b.以0结尾的二进制数组成的集合c.含奇数个0的二进制数组成的集合d.含偶数个0的二进制数组成的集合5、词法分析器作为独立的阶段使整个编译程序结构更加简洁、明确，因此，。

a.词法分析器应作为独立的一遍b.词法分析器作为子程序较好c.词法分析器分解为多个过程，由语法分析器选择使用d.词法分析器并不作为一个独立的阶段二、多项选择题1、在词法分析中，能识别出。

a.基本字b.四元式c.运算符d.逆波兰式e.常数2、令=a,b，则上所有以b开头，后跟若干个ab的字的全体对应的正规式为。

a.b（ab）*b.b（ab）+c.（ba）*bd.（ba）+be.b（a|b）三、填空题1、确定有限自动机DFA是的一个特例。

2、若二个正规式所表示的相同，则认为二者是等价的。

3、一个字集是正规的，当且仅当它可由所。

四、判断题1、一个有限状态自动机中，有且仅有一个唯一终态。

（）2、设r和s分别是正规式，则有L（r|s）=L（r）|L（s）。

（）3、自动机M和M的状态数不同，则二者必不等价。

（）4、确定的自动机以及不确定的自动机都能正确地识别正规集。

（）5、对任意一个右线性文法G，都存在一个NFAM，满足L（G）=L（M）。

（）6、对任意一个右线性文法G，都存在一个DFAM，满足L（G）=L（M）。

（）7、对任何正规表达式e，都存在一个NFAM，满足L（G）=L（e）。

（）8、对任何正规表达式e，都存在一个DFAM，满足L（G）=L（e）。

（）五、基本题1、设M（x,y,a,b,f,x,y）为一非确定的有限自动机，其中f定义如下：

f（x,a）x,yf（x,b）yf（y,a）f（y,b）x,y试构造相应的确定有限自动机M。

2、对给定正规式b*（d|ad）（b|ab）+，构造其NFAM；

单选解答1、b2、c3、c4、d5、b多选解答1、a、c、e2、a、b、d填空解答1、NFA2、正规集3、DFA（NFA）所识别判断解答1、2、3、错4、5、6、7、8、正确基本1解答：

对照自动机的定义M=（S,f,S0,Z），由f的定义可知f（x,a）、f（y,b）均为多值函数，所以是一非确定有限自动机，先画出NFAM相应的状态图，如图3-6-2所示。

用子集法构造状态转换矩阵表3-6-3所示。

IIaIbxx,yyyx,yx,yx,yx,y将转换矩阵中的所有子集重新命名而形成表3-6-4所示的状态转换矩阵。

表3-6-4状态转换矩阵ab02112222即得到M=（0,1,2,a,b,f,0,1,2），其状态转换图如图3-6-5所示。

将图3-6-5的DFAM最小化。

首先，将M的状态分成终态组1，2与非终态组0；

其次，考察1,2。

由于1,2a=1,2b=21,2，所以不再将其划分了，也即整个划分只有两组0，1,2：

令状态1代表1,2，即把原来到达2的弧都导向1，并删除状态2。

最后，得到如图3-6-6所示化简DFAM。

2解答：

首先用A+=AA*改造正规式得：

b*（d|ad）（b|ab）（b|ab）*；

其次，构造该正规式的NFAM，如图3-6-7所示。

第四章1、构造下面文法的LL

（1）分析表。

DTLTint|realLidRR,idR|2、下面文法GS是否为LL

（1）文法？

说明理由。

SAB|PQxAxyBbcPdP|QaQ|3、设有以下文法：

SaAbDe|dABSD|eBSAc|cD|DSe|

（1）求出该文法的每一个非终结符U的FOLLOW集。

（2）该文法是LL

（1）文法吗？

（3）构造CS的LL

（1）分析表。

4、将文法GV改造成为LL

（1）的。

GV：

VN|NEEV|V+ENi5、已知文法：

GA：

AaAa|

（1）该文法是LL

（1）文法吗？

为什么？

（2）若采用LL

（1）方法进行语法分析，如何得到该文法的LL

（1）分析表？

（3）若输入符号串“aaaa”，请给出语法分析过程。

1解答：

LL

（1）分析表见表4-3-1分析虽然这个文法很简单，我们还是从求开始符号集合和后继符号集合开始。

FIRST（D）=FIRST（T）=int,realFOLLOW（D）=FOLLOW（L）=#FIRST（L）=idFOLLOW（T）=idFIRST（R）=，,FOLLOW（R）=#有了上面每个非终结符的FIRST集合，填分析表时要计算一个产生式右部的FIRST（）就不是件难事了。

填表时唯一要小心的时，是产生式R右部的一个开始符号，而#在FOLLOW（R）中，所以R填在输入符号#的栏目中。

表4-3-1LL

（1）分析表非终结符输入符号intrealid，#DDTLDTLTTintTrealLLidRRR,idRR2解答：

该文法不是LL

（1）文法，见下面分析中的说明。

分析只有三个非终结符有两个选择。

1、P的两个右部dP和的开始符号肯定不相交。

2、Q的两个右部aQ和的开始符号肯定不相交。

3、对S来说，由于xFIRST（AB），同时也有xFIRST（PQx）（因为P和Q都可能为空）。

所以该文法不是LL

（1）文法。

3解答：

（1）求文法的每一个非终结符U的FOLLOW集的过程如下：

因为：

S是识别符号，且有ABSD、BSAc、DSe，所以FOLLOW（S）应包含FIRST（D）FIRST（Ac）FIRST（e）#=a,da,d,c,ee#=a,c,d,e#又因为ABSD和D，所以FOLLOW中还包含FOLLOW（A）。

因为SaAbDe和BSAc,所以FOLLOW（A）=FIRST（bDe）FIRST（c）=b,c综合、得FOLLOW（S）=a,d,c,e,#a,b,c,d,e,#因为ABSD，所以FOLLOW（B）=FIRST（SD）=a,d因为SaAbDe|d、ABSD|e和BSAc|cD，所以FOLLOW（D）=FIRST（e）FOLLOW（A）FOLLOW（B）=eb,ca,d=a,b,c,d,e

（2）GS不是LL

（1）文法。

因为产生式BSAc|cD|中FIRST（SAc）FOLLOW（B）=a,d（3）构造GS的LL

（1）分析表。

按照LL

（1）分析表的构造算法构造方法GS的LL

（1）分析表如表4-3-2所示。

表4-3-2GS的LL

（1）分析表abcde#SaAbDedABSDBSDBSDeBSac/cDSac/DSe/Se/4解答：

对文法GV提取公共左因子后得到文法：

VNAA|EEVBB|+ENi求出文法GV中每一个非终结符号的FIRST集：

FIRST（V）=iFIRST（A）=,FIRST（E）=iFIRST（B）=+,FIRST（N）=i求出文法GV中每一个非终结符号的FOLLOW集：

FOLLOW（V）=#FIRST（B）FOLLOW（E）=#,+,FOLLOW（A）=FOLLOW（V）=+,#FOLLOW（E）=FIRST（）FOLLOW（B）=FIRST（）FOLLOW（E）=FOLLOW（B）=FOLLOW（E）=FOLLOW（N）=FIRST（A）FOLLOW（V）=,+,#可以看到，对文法GV的产生式A|E，有FIRST（E）FOLLOW（A）=+,#=对产生式B|+E，有FIRST（+E）FOLLOW（B）=+=而文法的其他产生式都只有一个不为的右部，所以文法GV是LL

（1）文法。

5解答：

（1）因为产生式AaAa|有空产生式右部，而FOLLOW（A）=#FIRST（a）=a,#造成FIRST（A）FOLLOW（A）=A,a,#所以该文法不是LL

（1）文法。

（2）若采用LL

（1）方法进行语法分析，必须修改该文法。

因该文法产生偶数（可以为0）个a，所以得到文法GA：

AaaA|此时对产生式AaaA|，有FOLLOW（A）=#FOLLOW（A）=#，因而FIRST（A）FOLLOW（A）=a,#=所以文法GA是LL

（1）文法，按LL

（1）分析表构造算法构造该文法的LL

（1）分析表如表4-3-3所示。

表4-3-3文法GA的LL

（1）分析表A#AAaaAA（3）若采用LL

（1）方法进行语法分析，对符号串“aaaa”的分析过程如表4-3-4所示。

表4-3-4对符号串“aaaa”的分析过程步骤分析栈输入串产生式/动作1#Aaaaa#AaaA2#Aaaaaaa#匹配3#Aaaaa#匹配4#Aaa#AaaA5#Aaaaa#匹配6#Aaa#匹配7#A#A8#接受第五章1.设有文法GS为：

Sa|b|（A）ASdA|S

（1）完成下列算符优先关系表，见表5-7-1，并判断GS是否为算符优先文法。

表5-7-1算符优先关系表ab（）d#ab（）d#

（2）给出句型（SdSdS）的短语、简单短语、句柄、素短语和最左素短语。

（3）给出输入串（adb）#的分析过程。

解答：

（1）先求文法GS的FIRSTVT集和LASTVT集：

由Sa|b|（A）得：

FIRSTVT（S）=a,b,（）;

由ASd得：

FIRSTVT（A）=d;

又由AS得：

FIRSTVT（S）FIRSTVT（A），即FIRSTVT（A）=d,a,b,（;

由Sa|b|（A）得；

LASTVT（S）=a,b,;

由AdA得：

LASTVT（A）=d,又由AS得：

LASTVT（S）LASTVT（A），即LASTVT（A）=d,a,b,）。

构造优先关系表方法如下：

对Pab，或PaQb，有ab;

对PaR，而bFIRSTVT（R），有ab;

对PRb，而aFIRSTVT（R），有ab。

由此得到：

由S（A）得：

（）;

由S（A得：

（FIRSTVT（A），即：

（d,（a,（b,（;

由AdA得：

dFIRSTVT（A），即：

dd,da,db,d（;

由SA）得，LASTVT（A），即：

d）,a）,b）,）;

LASTVT（S）d，即：

ad,bd,）d;

此外，由#S#得：

#；

由#FIRSTVT（S）得：

#a,#b,#（；

脂由LASTVT（S）#得：

d#,a#,b#,）#。

最后得到算符优先关系表，见表5-7-2。

表5-7-2算符优先关系表ab（）d#ab（）d#由表5-7-2可以看出，任何两个终结符之间至少只满足、三种优先关系之一，故GS为算符优先文法。

（2）为求出句型（SdSdS）的短语、简单短语、句柄，我们先画出该句型对应的语法树，如图5-7-3所示。

由图5-7-3得到：

S，SdS，SdSdS，（SdSdS）简单短语（即直接短语）：

S句柄（即最左直接短语）：

S素短语：

SdS，它同时也是该句型的最左素短语。

（3）输入串（adb）#的分析过程见表5-7-4表5-7-4输入串（adb）#的分析过程符号栈输入串说明#（adb）#移进#（adb）#移进#（adb）#用Sa归约#（Sdb）#移进#（Sdb）#移进#（Sdb）#用Sb归约#（SdS）#用AS归约#（SdA）#用ASdA归约#（A）#移进#（A）#用S（A）归约#S#分析成功第六章一、单项选择题1、若a为终结符，则Aa为项目a.归约b.移进c.接受d.待约2、若项目集Ik含有A，则在状态k时，仅当面临的输入符号aFOLLOW（A）时，才采取“A”动作的一定是。

a.LALR文法b.LR（0）文法c.LR

（1）文法d.SLR

（1）文法3、就文法的描述能力来说，有。

a.SLR

（1）LR（0）b.LR

（1）LR（0）c.SLR

（1）LR

（1）d.无二义文法LR

（1）4、在LR（0）的ACTION子表中，如果某一行中存在标记“rj”的栏，则。

a.该行必定填满rjb.该行未填满rjc.其他行也有rjd.goto子表中也有rj5、一个指明了在分析过程中的某时刻所能看到产生式多大一部分。

a.活前缀b.前缀c.项目d.项目集二、多项选择题1、一个LR分析器包括。

a.一个总控程序b.一个项目集c.一个活前缀d.一张分析表e.一个分析栈2、LR分析器核心部分是一张分析表，该表包括等子表。

a.LL

（1）分析b.优先关系c.GOTOd.LRe.ACTION3、每一项ACTIONS，a所规定的动作包括。

a.移进b.比较c.接受d.归约e.报错4、对LR分析表的构造，有可能存在动作冲突。

a.移进b.归约c.移进/归约d.移进/移进e.归约/归约5、就文法的描述能力来说，有。

a.SLR

（1）LR

（1）b.LR

（1）SLR

（1）c.LR（0）LR

（1）d.LR

（1）无二义文法e.SLR

（1）无二义文法6、对LR分析器来说，存在等分析表的构造方法。

a.LALRb.LR（