编译原理期末复习题
3.2 是非判断,对下面的陈述,正确的在陈述后的括号内写T,否则写F。 (1)有穷自动机接受的语言是正则语言。() (2)若r1和r2是Σ上的正规式,则r1|r2也是。()
*
*
(3)设M是一个NFA,并且L(M)={x,y,z},则M的状态数至少为4个。()
(4)令Σ={a,b},则Σ上所有以b为首的字构成的正规集的正规式为b(a|b)。() (5)对任何一个NFA M,都存在一个DFA M',使得L(M')=L(M)。()
(6)对一个右线性文法G,必存在一个左线性文法G',使得L(G)=L(G'),反之亦然。()
答案
(1) T (2) T (3) F (4) F (5) T (6) T
3.3 描述下列各正规表达式所表示的语言。 (1) 0(0|1)0 (2) ((ε|0)1)
*
** *
(3) (0|1)0(0|1)(0|1) (4) 0101010
*
*
*
*
*
*
**
(5) (00|11)((01|10)(00|11)(01|10)(00|11))
答案
(1) 以0开头并且以0结尾的,由0和1组成的符号串。 (2) {α|α∈{0,1}*}
(3) 由0和1组成的符号串,且从右边开始数第3位为0。
(4) 含3个1的由0和1组成的符号串。 {α|α∈{0,1}+,且α中含有3个1 } (5) {α|α∈{0,1}*,α中0和1为偶数}
3.4 对于下列语言分别写出它们的正规表达式。
(1) 英文字母组成的所有符号串,要求符号串中顺序包含五个元音。 (2) 英文字母组成的所有符号串,要求符号串中的字母依照词典顺序排列。 (3) Σ={0,1}上的含偶数个1的所有串。 (4) Σ={0,1}上的含奇数个1的所有串。
(5) 具有偶数个0和奇数个1的有0和1组成的符号串的全体。 (6) 不包含子串011的由0和1组成的符号串的全体。
(7) 由0和1组成的符号串,把它看成二进制数,能被3整除的符号串的全体。
答案
(1) 令Letter表示除这五个元音外的其它字母。 ((letter)*A(letter)*E(letter)*I(letter)*O(letter)*U(letter))* (2) A*B*....Z* (3) (0|10*1)* (4) (0|10*1)*1
(5) [分析]
设S是符合要求的串,|S|=2k+1 (k≥0)。 则 S→S10|S21,|S1|=2k (k>0),|S2|=2k (k≥0)。 且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))* 因此,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。 (1) 所有以00结束的符号串的集合。 (2) 所有具有3个0的符号串的集合。
答案
(a) DFA M=({0,1},{q0,q1,q2},q0,{q2},δ) 其中δ定义如下:
δ(q0,0)=q1 δ(q0,1)=q0 δ(q1,0)=q2 δ(q1,1)=q0 δ(q2,0)=q2 δ(q2,1)=q
内容需要下载文档才能查看
(b)正则表达式: 1*01*01*01*
DFA M=({0,1},{q0,q1,q2,q3},q0,{q3},δ) 其中δ定义如下:
δ(q0,0)=q1 δ(q0,1)=q0 δ(q1,0)=q2 δ(q1,1)=q1 δ(q2,0)=q3 δ(q2,1)=q2 δ(q3,1)=q3
内容需要下载文档才能查看
3.7构造等价于下列正规表达式的有限自动机。 (1)10|(0|11)01 (2)((0|1)|(11))
*
* *
答案
(1) DFA M=({0,1},{q0,q1,q2,q3},q0,{q3},δ)
其中δ定义如下:
(2) δ(q0,0)=q1 δ(q0,1)=q2 (3) δ(q1,0)=q1 δ(q1,1)=q3 (4) δ(q2,0)=q3 δ(q2,1)=q1
(5)
内容需要下载文档才能查看
(6) (2) DFA M=({0,1},{q0},q0,{q0},δ) (7) 其中δ定义如下:
(8) δ(q0,0)=q0 δ(q0,1)=q0
(9)
内容需要下载文档才能查看
3.8 给定右线性文法G: S->0S|1S|1A|0B A->1C|1 B->0C|0 C->0C|1C|0|1
试求一个于G等价的左线性文法G'
3.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是相同的(除了状态的名字以外)。利用这一结论,请说明下列正规表达式都是等价的。 (1) (a|b)
*
*
(2) (a|b)
**
**
(3) ((ε|a)b)
答案
根据3.11的结果知这几个正规表达式是等价的。
3.13 对于下列正规表达式构造最小状态的DFA。 (1) (a|b)a(a|b) (2) (a)b)a(a|b)(a|b) 5. 对如下文法:
G[S] : S a b S | a a B | a d
B b b B | b
分别给出句子abaabbb和ad的句柄 句子ad的语法分析树为:
**
下载文档
热门试卷
- 2016年四川省内江市中考化学试卷
- 广西钦州市高新区2017届高三11月月考政治试卷
- 浙江省湖州市2016-2017学年高一上学期期中考试政治试卷
- 浙江省湖州市2016-2017学年高二上学期期中考试政治试卷
- 辽宁省铁岭市协作体2017届高三上学期第三次联考政治试卷
- 广西钦州市钦州港区2016-2017学年高二11月月考政治试卷
- 广西钦州市钦州港区2017届高三11月月考政治试卷
- 广西钦州市钦州港区2016-2017学年高一11月月考政治试卷
- 广西钦州市高新区2016-2017学年高二11月月考政治试卷
- 广西钦州市高新区2016-2017学年高一11月月考政治试卷
- 山东省滨州市三校2017届第一学期阶段测试初三英语试题
- 四川省成都七中2017届高三一诊模拟考试文科综合试卷
- 2017届普通高等学校招生全国统一考试模拟试题(附答案)
- 重庆市永川中学高2017级上期12月月考语文试题
- 江西宜春三中2017届高三第一学期第二次月考文科综合试题
- 内蒙古赤峰二中2017届高三上学期第三次月考英语试题
- 2017年六年级(上)数学期末考试卷
- 2017人教版小学英语三年级上期末笔试题
- 江苏省常州西藏民族中学2016-2017学年九年级思想品德第一学期第二次阶段测试试卷
- 重庆市九龙坡区七校2016-2017学年上期八年级素质测查(二)语文学科试题卷
- 江苏省无锡市钱桥中学2016年12月八年级语文阶段性测试卷
- 江苏省无锡市钱桥中学2016-2017学年七年级英语12月阶段检测试卷
- 山东省邹城市第八中学2016-2017学年八年级12月物理第4章试题(无答案)
- 【人教版】河北省2015-2016学年度九年级上期末语文试题卷(附答案)
- 四川省简阳市阳安中学2016年12月高二月考英语试卷
- 四川省成都龙泉中学高三上学期2016年12月月考试题文科综合能力测试
- 安徽省滁州中学2016—2017学年度第一学期12月月考高三英语试卷
- 山东省武城县第二中学2016.12高一年级上学期第二次月考历史试题(必修一第四、五单元)
- 福建省四地六校联考2016-2017学年上学期第三次月考高三化学试卷
- 甘肃省武威第二十三中学2016—2017学年度八年级第一学期12月月考生物试卷
网友关注
- 话题1 认识幼儿园教育活动Word
- 国际贸易理论与实务第三章Word
- 会议室流程图
- 2017年首都医科大学105702中医外科学招生目录
- 4.1 工业的区位因素与区位选择Word
- 年年岁岁花相似
- 管理会计师报名条件和考试科目汇总答案
- 合同起草中的风险控制(发百度文库)Word
- ADINA在岩土工程中的全面应用Word
- 纤维性骨皮质缺损的MRI诊断与鉴别诊断_曹瑛
- 幼儿文学考试大纲要求答案Word
- 起重吊装作业安全管理Word答案
- 2017年士兵提干考试大纲《军事知识》—核、生、化武器技术:核武器答案
- 2016年移动互联网+医疗行业云计算整体解决方案Word
- 爱蒙首饰制作汇总Word
- 东禅寺地块项目定位策划方案Word
- 2017年首都医科大学105704中医妇科学招生目录
- 唐诗选读Word
- 第2章 数据类型和表达式_(4)运算符Word
- 第2章 数据类型和表达式_(1)基本数据类型常量与变量Word
- Unit+5+Reading1Word
- 2017年首都医科大学105701中医内科学招生目录
- 食品生产许可工作实务Word
- 麦肯锡给联通作的项目Word70页
- 1.2长度和时间的测量Word
- 如何成为靠谱的当代艺术收藏家
- 优秀病例展示Word
- 企业的融资成本和渠道Word
- 从业人员日常教育与继续教育操作规程
- 《庐山的云雾》Word
网友关注视频
- 冀教版英语五年级下册第二课课程解读
- 第五单元 民族艺术的瑰宝_16. 形形色色的民族乐器_第一课时(岭南版六年级上册)_T1406126
- 冀教版小学数学二年级下册第二单元《有余数除法的整理与复习》
- 人教版二年级下册数学
- 【部编】人教版语文七年级下册《泊秦淮》优质课教学视频+PPT课件+教案,辽宁省
- 冀教版小学数学二年级下册第二单元《租船问题》
- 沪教版八年级下册数学练习册21.4(1)无理方程P18
- 【部编】人教版语文七年级下册《逢入京使》优质课教学视频+PPT课件+教案,安徽省
- 沪教版牛津小学英语(深圳用) 五年级下册 Unit 12
- 冀教版小学数学二年级下册1
- 沪教版牛津小学英语(深圳用) 四年级下册 Unit 2
- 8.练习八_第一课时(特等奖)(苏教版三年级上册)_T142692
- 二年级下册数学第二课
- 七年级英语下册 上海牛津版 Unit9
- 沪教版牛津小学英语(深圳用) 五年级下册 Unit 7
- 【部编】人教版语文七年级下册《逢入京使》优质课教学视频+PPT课件+教案,辽宁省
- 冀教版英语四年级下册第二课
- 沪教版八年级下册数学练习册21.3(2)分式方程P15
- 外研版英语三起6年级下册(14版)Module3 Unit2
- 8 随形想象_第一课时(二等奖)(沪教版二年级上册)_T3786594
- 【部编】人教版语文七年级下册《泊秦淮》优质课教学视频+PPT课件+教案,湖北省
- 沪教版牛津小学英语(深圳用) 四年级下册 Unit 12
- 外研版八年级英语下学期 Module3
- 沪教版八年级下册数学练习册21.3(3)分式方程P17
- 【部编】人教版语文七年级下册《过松源晨炊漆公店(其五)》优质课教学视频+PPT课件+教案,江苏省
- 第五单元 民族艺术的瑰宝_16. 形形色色的民族乐器_第一课时(岭南版六年级上册)_T3751175
- 3.2 数学二年级下册第二单元 表内除法(一)整理和复习 李菲菲
- 【部编】人教版语文七年级下册《老山界》优质课教学视频+PPT课件+教案,安徽省
- 二年级下册数学第三课 搭一搭⚖⚖
- 冀教版小学数学二年级下册第二单元《余数和除数的关系》
精品推荐
- 2016-2017学年高一语文人教版必修一+模块学业水平检测试题(含答案)
- 广西钦州市高新区2017届高三11月月考政治试卷
- 浙江省湖州市2016-2017学年高一上学期期中考试政治试卷
- 浙江省湖州市2016-2017学年高二上学期期中考试政治试卷
- 辽宁省铁岭市协作体2017届高三上学期第三次联考政治试卷
- 广西钦州市钦州港区2016-2017学年高二11月月考政治试卷
- 广西钦州市钦州港区2017届高三11月月考政治试卷
- 广西钦州市钦州港区2016-2017学年高一11月月考政治试卷
- 广西钦州市高新区2016-2017学年高二11月月考政治试卷
- 广西钦州市高新区2016-2017学年高一11月月考政治试卷
分类导航
- 互联网
- 电脑基础知识
- 计算机软件及应用
- 计算机硬件及网络
- 计算机应用/办公自动化
- .NET
- 数据结构与算法
- Java
- SEO
- C/C++资料
- linux/Unix相关
- 手机开发
- UML理论/建模
- 并行计算/云计算
- 嵌入式开发
- windows相关
- 软件工程
- 管理信息系统
- 开发文档
- 图形图像
- 网络与通信
- 网络信息安全
- 电子支付
- Labview
- matlab
- 网络资源
- Python
- Delphi/Perl
- 评测
- Flash/Flex
- CSS/Script
- 计算机原理
- PHP资料
- 数据挖掘与模式识别
- Web服务
- 数据库
- Visual Basic
- 电子商务
- 服务器
- 搜索引擎优化
- 存储
- 架构
- 行业软件
- 人工智能
- 计算机辅助设计
- 多媒体
- 软件测试
- 计算机硬件与维护
- 网站策划/UE
- 网页设计/UI
- 网吧管理