计算理论课后习题答案
48页1、第一章 习题,1给定文法G=(S,B,C,D,E,0,1,P,S),其中P: SABC,AB0AD,AB1AE,AB,D00D,D11D,E00E, E11E, C, DCB0C,ECB1C,0BB0,1BB1 试写出句子01100110的派生过程。 解:SABC0ADC0AB0C01AE0C01A0EC 01A0B1C01AB01C011AE01C011A0E1C 011A01EC011A01B1C011A0B11C011AB011C 0110AD011C0110A0D11C0110A01D1C 0110A011DC0110A011B0C0110A01B10C 0110A0B110C0110AB0110C01100110C01100110,2设计下列各文法G,使得它们分别是: (1)G是个上下文无关文法,且 L(G)=aibj ck i,j,k1。 (2)G是个正规文法,且 L(G)=aibj ck i,j,k1。 (3)G是个上下文无关文法,且 L(G)= wwRw0,1+ 。其中wR是w的逆转,例 如w=001, 则wR=100. 解:设计一个文法G要验证: 凡是符合要求的句子G
2、都能产生出来; G产生出来的所有句子都是符合要求的。 (1) G=(S,A,B,C,a,b,c,P,S) P: SABC , AaA|a, BbB|b,CcC|c,(2) G=(S,A,B,C,a,b,c,P,S) P: SaA , AaA| bB, BbB|cC, CcC| (3) G=(S,0,1,P,S) P: S0S0|1S1|00|11,第二章 习题,1设计一个有限自动机(FA) M,使得T(M)中的每个句 子w同时满足下面三个条件: 1) wa,b,*; 2) |w|是3的整数倍; 3) w以a开头,以b结尾。 解:,2设计二个FA M1和M2,分别满足 T(M1)=02ii是自然数 T(M2)=02i+1i=0,1,2,3,4, 解: M1 :,3. 给定NFA M1 =(p,q,r,s,0,1,p,s),如下表所示。 构造一个DFA M2,使得T(M1)=T(M2) 。 解:令 M2=(K, , q0,F), 其中 K2K,K中的元素是由K的子集 q1,q2,qi构成,但是要把子集 q1,q2,qi作为的一个状态看待, 因此把此子集写成q1,q2,qi。 q0=q0 ,
3、 F=q1,q2,qi|q1,q2,qiK且q1,q2,qiF :KK,对q1,q2,qiK, a,有 (q1,q2,qi,a)=p1,p2,pj 当且仅当 (q1,q2,qi,a)=p1,p2,pj,q0=p , K和F以后确定。 :,p,0,1,p,q,p,p,q,p,q,r,p,r,p,r,p,q,s,p,p,q,r,p,q,r,s,p,r,p,q,s,p,q,r,s,p,r,s,p,r,s,p,q,s,p,s,p,s,p,q,s,p,s,p,q,r,s,p,q,r,s,p,r,s,K=p,p,q,p,r,p,s,p,q,r,p,q,s,p,r,s,p,q,r,s F = p,s,p,q,s,p,r,s,p,q,r,s,0,1,0,0,0,0,0,0,1,0,1,1,1,1,1,1,4.将下面的-NFA M等价变换成NFA M。, :对任何qK,任何a, (q,a)= (q,a) 。,解:M=(K, , ,q0 ,F),q0是M的开始状态,其中,公式(1):对于qK, , (q,)=-CLOSURE(q),公式(2): 对于qK, w*, a,(q,wa)=-CLOSURE( (
《计算理论课后习题答案》由会员suns****4568分享,可在线阅读,更多相关《计算理论课后习题答案》请在金锄头文库上搜索。
土地管理与地籍测量---第八章界址点测量
人机工程学案例分析(2)
工程安全培训_201303
第9章房地产投资决策分析
第2章房地产经纪制度
ACM程序设计-东北林业大学acm05
《亲爱的汉修先生》读书交流会
中原_深圳新世界尖岗山项目市场汇报_40P_2012年_别墅_项目分析_量价走势
五年级数学质量分析演示文稿
人工智能小镇-智慧小镇建设20180525
景观基本知识及发展历程
建设工程信息管理(2)
机电驱动技术第二章步进驱动技术
工程力学-第9章圆轴扭转时的应力变形分析与强度刚度设计
第一章第二节幼儿园文化环境建设的原则
第一章检测技术的基础知识
第一章__现代表面工程技术
第六章钢结构工程
第9节项目试运行管理
班主任工作经验交流课件(4)
2024-05-05 109页
2024-05-02 38页
2023-12-11 28页
2023-12-11 28页
2023-12-11 27页
2023-12-11 31页
2023-12-11 27页
2023-12-11 27页
2023-12-11 33页
2023-12-11 28页