ImageVerifierCode 换一换
格式:DOCX , 页数:30 ,大小:368.23KB ,
资源ID:21015834      下载积分:3 金币
快捷下载
登录下载
邮箱/手机:
温馨提示:
快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。 如填写123,账号就是123,密码也是123。
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝    微信支付   
验证码:   换一换

加入VIP,免费下载
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【https://www.bdocx.com/down/21015834.html】到电脑端继续下载(重复下载不扣费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: 微信登录   QQ登录  

下载须知

1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
2: 试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。
3: 文件的所有权益归上传用户所有。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

本文(编译原理期末复习题Word文件下载.docx)为本站会员(b****5)主动上传,冰豆网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知冰豆网(发送邮件至service@bdocx.com或直接QQ联系客服),我们立即给予删除!

编译原理期末复习题Word文件下载.docx

1、(0|10*1)*(0|10*1)*1分析设S是符合要求的串,|S|=2k+1 (k0)。则 SS10|S21,|S1|=2k (k0),|S2|=2k (k0)。且S1是0,1上的串,含有奇数个0和奇数个1。S2是0,1上的串,含有偶数个0和偶数个1。考虑有一个自动机M1接受S1,那么自动机M1如下:和L(M1)等价的正规表达式,即S1为:(00|11)|(01|10)(00|11)*(01|10)*(01|10)(00|11)*类似的考虑有一个自动机M2接受S2,那么自动机M2如下:和L(M2)等价的正规表达式,即S2为:(00|11)|(01|10)(00|11)*(01|10)*因此,

2、S为:(00|11)|(01|10)(00|11)*(01|10)*(01|10)(00|11)*0|(00|11)|(01|10)(00|11)*(01|10)*1(6)1*|1*0(0|10)*(1|)(7)接受w的自动机如下:对应的正规表达式:(1(01*0)1|0)*3.6给出接受下列在字母表0,1上的语言的DFA。所有以00结束的符号串的集合。所有具有3个0的符号串的集合。(a) DFAM=(0,1,q0,q1,q2,q0,q2,)其中定义如下:(q0,0)=q1 (q0,1)=q0(q1,0)=q2 (q1,1)=q0(q2,0)=q2 (q2,1)=q0(b)正则表达式: 1*0

3、1*01*01* DFAM=(0,1,q0,q1,q2,q3,q0,q3,) (q1,1)=q1(q2,0)=q3 (q2,1)=q2(q3,1)=q33.7构造等价于下列正规表达式的有限自动机。(1)10|(0|11)0*1(2)(0|1)*|(11)*(1)DFA(2)其中定义如下:(3)(q0,0)=q1 (q0,1)=q2(4)(q1,0)=q1 (q1,1)=q3(5)(q2,0)=q3 (q2,1)=q1(6)(7)(2) DFAM=(0,1,q0,q0,q0,)(8)其中定义如下:(9)(q0,0)=q0(10)3.8 给定右线性文法G:S-0S|1S|1A|0BA-1C|1B-

4、0C|0C-0C|1C|0|1试求一个于G等价的左线性文法G3.9 试对于下列正规表达式使用证明定理3。5的构造算法构造非确定的有限自动机。请给出每个自动机在处理输入符号串ababbab的过程中的动作序列。(1) (a|b)*(2) (a*|b*)*(3) (|a)b*)* 3.10 转换练习3.9中的每个 NFA 为 DFA 。并给出每个DFA在处理输入符号串ababbab的过程中的动作序列。3.11 试把练习3.10中得到的DFA的状态给以最小化。(1),(2),(3)的DFA M相同,化简结果为:(4)3.12 我们可以证明两个正规表达式是等价的,如果它们的最小状态DFA是相同的(除了状

5、态的名字以外)。利用这一结论,请说明下列正规表达式都是等价的。根据3.11的结果知这几个正规表达式是等价的。3.13 对于下列正规表达式构造最小状态的DFA。(1) (a|b)*a(a|b)(2) (a)b)*a(a|b)(a|b)5 对如下文法:GS : S a b S | a a B | a d B b b B | b 分别给出句子abaabbb和ad的句柄 句子ad的语法分析树为:句子abaabbb的语法分析树为:所以句子abaabbb的句柄是b;句子ad的句柄是ad .二、(10分)说明如下文法是否是LL(1)文法,若不是,将其转换为LL(1)文法。最后给出该文法的LL(1)分析表。

6、GA: A B e B B b | a 文法中有左递归,不是LL(1)文法。 转换为 G : A B e B a B Bb B | Predict(A B e) = a Predict(B a B) = a Predict(Bb B) = b Predict(B ) = e LL(1)分析表: a b e A B e B a B B b B4. 给出识别正则表达式(a|bc)*d)+的NFA 。5 已知文法GS: S S;GG G G(T) H H a (S) T T+S S 找出句型:a(T+S);H;(S)的短语、简单短语和句柄。 短语: a, T+S, a(T+S) , H , a(T+

7、S);H , (S) 简单短语:a , T+S , H , (S) 句柄是 a . 6 已知文法GS为:SAB | bC Ab | BaD | CAD | b DaS | c 对其每一个非终级符求First集和Follow集。 First (S) = b , a , First (A) = b , First (B) = a , First (C) = b , a , c First (D) = a , c Follow (S) = # Follow (A) = a , c , # Follow (B) = # Follow (C) = # Follow (D) = # 二、(10分)设有文法

8、GA: A iB*e B SB| S eC|.i C eC|判定该文法是否为LL(1)文法?若是则给出它的LL(1)分析表,否则说明理由。 先计算各个产生式的Predict集: Predict (A- iB*e)= i ; Predict (B- SB) = , . ) = * Predict (S-eC) = . i) = . Predict (C- eC) = e ) = 因为Predict集没有冲突,所以是LL(1)文法。 LL(1)分析表如下: i * .- iB*e - S B Se C. i CeC1、证明下面文法是LL(1)的但不是SLR(1)文法SAaAb|BbBa A B解:

9、对于产生式SAaAb|BbBa 来说FIRST(AaAb)FIRST(BbBa)=ab=而A,BVN仅有一条候选式。因此,这个文法是LL(1)的。下面构造这个文法的识别活前缀的DFA。系 专业 班级 学号 姓名 密封线I0 = SS, SAaAb, SBbBa, A, B I1 = SSI2 = SAaAbI3 = SBbBaI4 = SAaAb, AI5 = SBbBa, BI6 = SAaAbI7 = SBbBaI8 = SAaAbI9 = SBbBa由于FOLLOW(A)=FOLLOW(B)=a, b因此项目集I0中存在归约归约冲突。在I0状态下,当输入符号是a或是b时,不知用A还是B进

10、行归约。故此文法不是SLR(1)的。但是,此文法是LR(1)的。五、已知文法GS,其产生式如下: S(L)|a L L,S|S 从GS中消除左递归,并为之构造一个非递归预测分析器LL(1)分析表。请说明在句子(a,(a,a)上的分析器的动作。(20分)解:将所给文法消除左递归得G: S (L)|a L SL L ,SL | 实现预测分析器的不含递归调用的一种有效方法是使用一张分析表和一个栈进行联合控制,下面构造预测分析表:根据文法G有FIRST(s) = ( , a ) FOLLOW(S) = , , , $ FIRST(L) = ( , a ) FOLLOW(L) = FIRST(L) =

11、FOLLOW(L) = 按以上结果,构造预测分析表M如下: 文法G是LL(1)的,因为它的LL(1)分析表不含多重定义入口。预测分析器对输入符号串(a, (a, a)做出的分析动作如下:例5.3的文法G3S 为:SaASdAbASA不难看出由定义5.3可得:SELECT(SaA)=aSELECT(Sd)=dSELECT(AbAS)=bSELECT(A)=a,d,# 所以 SELECT(SaA)SELECT(Sd)=ad= SELECT(AbAS)SELECT(A)=ba,d,# =由定义5.4知例5.3文法是LL(1)文法,所以可用确定的自顶向下分析。而对例5.5 文法G5S为:SaASSbA

12、bA则 SELECT(SaAS)=aSELECT(Sb)=bSELECT(AbA)=bSELECT(A)=a,b所以 SELECT(SaAS)SELECT(Sb)=ab= SELECT(AbA)SELECT(A)=ba,b因此,例5.5文法不是LL(1)文法,因而也就不可能用确定的自顶向下表达式文法为:EE+T|TTT*F|FFi|(E)构造步骤:(1)判断文法是否为LL(1)文法4.5 已知文法GS,其产生式如下: S(L)|a L L,S|S 从GS中消除左递归,并为之构造一个非递归预测分析器LL(1)分析表。S (L)|aL SL L | FIRST(s) = ( , a )FOLLOW

13、(S) = ) , FIRST(L) = ( , a )FOLLOW(L) = ) FIRST(L) = FOLLOW(L) = ) 文法G是LL(1)的,因为它的LL(1)分析表不含多重定义入口。4.6 对于练习4.1的文法,构造它的LL(1)分析表。从练习4.1得到文法的产生式如下:R R | T | TT TF | FF F* | C C (R)| a | b 消除上面文法中的左递归R TRR TR | T FTT FTF CFF *FC (R) | a | b计算FIRST()和FOLLOW(A)构造LL(1)分析表。4.9 对于文法GS,其产生式如下S(L)|a (4.22) LL,

14、S|S (1)给出句子(a,(a,a),(a,a)的一个最右推导,并指出右句型的句柄。 (2)按照(a)的最右推导,说明移进-归约分析器的工作步骤。(1) S =(L)=(L, S)=(L,(L)=(L,(L,S)=(L,(L,(L)=(L,(L,(L,S)=(L,(L,(L,a)=(L,(L,(S,a)=(L,(L,(a,a)=(L,(S,(a,a)(L,(L),(a,a)=(L,(L,S),(a,a)=(L,(L,a),(a,a)=(L,(S,a),(a,a)(L,(a,a),(a,a)=(S,(a,a),(a,a)=(a,(a,a),(a,a)右句型的句柄为每个右句型中用下划线标识出的部

15、分。(2) 对于(a)的最右推导,移进规约分析器的工作步骤如下:4.11 下列文法是否为SLR(1)文法?若是,请构造相应的分析表。若不是,请说明理由。(a)SSab|bR RS|a该文法的拓广文法G为 (0) S S(1) S Sab(2) S bR(3) R S(4) R a其LR(0)项目集规范族和goto函数(识别活前缀的DFA)如下:Sab, SbR I1 = S, SSabI2 = SbR, RS, Ra, SbR I3 = SSab I4 = SbRI5 = RSab I6 = Ra I7 = SSab求FOLLOW集:FOLLOW(S)=FOLLOW(R)=FOLLOW(S)=

16、a,在I5中,出现移进归约冲突,且FOLLOW(R)a=a因此,此文法不是SLR(1)文法。b)SaSAB|BA AaA|B Bb (1) S aSAB(2) S BA(3) A aA(4) A B(5) B baSAB, SBA, Bb I1 = S I2 = BbI3 = SaSAB, Sb I4 = SBA, AaA, AB, BI5 = SaSAB, Ab I6 = SaSAb I7 = Aab I8 = AB I9 = SBA I10 = SaSABI11 = AaAFOLLOW(S)=a,b,FOLLOW(A)=a,b,FOLLOW(B)=a,b,4.12 证明下面文法是SLR(1

17、)文法,并构造其SLR分析表。EE+T|T TTF|F FF*|a|b(0) E E(1) E E+T(2) E T(3) T TF(4) T F(5) F F*(6) F a(7) F bI0 = EE, EE+T, ET, TTF, TF, FF*,Fa, FI1 = EE, EE+TI2 = ET, TTF*, FI3 = TF, FF* I4 = Fa I5 = FbI6 = EE+b I7 = TTF* I8 = FF*I9 = EE+TFOLLOW(E)=, FOLLOW(T)=, , a, bFOLLOW(F)=, , a, b, *构造的SLR分析表如下:显然,此分析表无多重定

18、义入口,所以此文法是SLR文法。4.13 下面文法属于哪类LR文法?试构造其分析表。S(SR|a R,SR|)(1) S (SR(2) S a(3) R ,SR(4) R )构造其LR(0)项目集规范族和goto函数(识别活前缀的DFA)如下:(SR, S I2 = S(SR, Sa I3 = Sa I4 = S(S,SR, R)I5 = S(SR I6 = R) I7 = R,a I8 = R,S) I9 = R,SR每个LR(0)项目集中没有冲突。因此,此文法是LR(0)文法。其分析表如下:4.14 设文法G为 SA ABA| BaB|b (1)证明它是LR(1)文法。 (2)构造它的LR

19、(1)分析表。 (3)给出输入符号串abab的分析过程。(1) 构造其拓广文法G的产生式为 (1) S A(2) A BA(3) A (4) B aBI0 = SS, $, SA, $, ABA, $, A, $, BaB, a/b/$, Bb, a/b/$ I1 = S, $ I2 = SA, $I3 = ABBb, a/b/$I4 = Bb, a/b/$ I5 = BaB, a/b/$, BaB, a/b/$, I6 = ABA, $ I7 = BaB, a/b/$该文法的LR(1)项目集规范族中没有冲突,所以该文法是LR(1)文法。(2)构造LR(1)分析表如下:以上分析表无多的定义入口,所以该文法为LR(1)文法。(3)对于输入串abab,其分析过程如下:4.15 为下面的文法构造LALR(1)分析表SE EE+T|T T(E)|a其拓广文法G(1) S E(2) E E+T(3) E T(4) T (E)(5) T a构造其LR(1)项目集规范族和goto函数(识别活前缀的DFA)如下: I0 = SE,

copyright@ 2008-2022 冰豆网网站版权所有

经营许可证编号:鄂ICP备2022015515号-1