第1次作业
更新时间:2024-01-08 13:13:01 阅读量: 教育文库 文档下载
第一次作业(如有疑问或发现有问题的答案,请联系lsj-5212@stu.xjtu.edu.cn,刘淞佳,西一A段410)
P35 习题2.1.1 图2-8中时一个滚大理石球玩具,在A或B处扔下一个大理石球。杠杆x1、x2和x3让大理石球落向左方或右方。每当一个大理石球遇到一个杠杆时,就引起这个杠杆在大理石球通过之后改变方向,所以下一个大理石球会走相反的分支。 a)用有穷自动机为这个玩具建模。设输入A和B表示扔进大理石球的入口。设接受对应于大理石球从D出来,不接受则表示大理石球从C出来。
A B b)非形式化地描述这个自动机的语言。
→000r 100r 011r
*000a 100r 011r 答案
001r a)状态用四位表示,
*001a 101r 000a 前三位用x1x2x3表示杠杆的方向,0向左,1向右,
010r 110r 001a 第四位用a和r表示,
*010a 110r 001a a表示前一个输入后结果为拒绝,
011r 111r 010a r表示前一个输入后结果为接受。
*011a 右边为转移表
100r 010r 111r
*100a 010r 111r b)这个语言是包含最后一个输出结果为D的所有投入A和B的 球
101r 011r 100a 的串。
*101a 011r 100a
P36 习题2.2.4 给出接受下列在字母表{0,1}上的语言的DFA:
A)所有以00结尾的串的集合。
B)所有带3个连续的0(不必在结尾)的串的集合。 C)带011字串的串的集合。
答案。
a)可以用转移图或者转移表。转移表如下所示。
→A B * C b)
→A B C * D c)
→A B C * D 0 B C D D 1 A A A D
0 B B B D 1 A C D D
0 B C C 1 A A A
110r *110a 111r *111a 000a 000a 001a 101a 101a 110a P36 习题2.2.10 考虑带下列转移表的DFA:
0 1 非形式化地描述这个DFA接受的语言,通过对输入串的长度
→A A B 进行归纳,证明这个描述是正确的。
* B B A 提示:当建立归纳假设时,断言什么样的输入导致每个状态,
而不只是断言什么样的输入导致接受状态,这样更明智些。 答案
这个自动机表示:状态A表示偶数个1,状态B表示奇数个1, 只有串有奇数个1的时候,串才会被接受。
当且仅当串w中有偶数个1时, (A,w) = A.。用归纳法证明如下 基础: |w| = 0。空串当然有偶数个 1 ,即0个 1,且 (A,w) = A. 归纳:假设对于比w 短的串命题成立。令 w = za, 其中 a 为 0 或1。
情形1: a = 0. 如果w有偶数个 1, 则z有偶数个1。由归纳假设, (A,z) = A。由转移表的DFA知 (A,w) = A.如果w有奇数个1, 则z有奇数个1. 由归纳假设, (A,z) = B, 由转移表的 DFA 知 (A,w) = B. 因此这种情况下 (A,w) = A 当且仅当 w 有偶数个 1。
情形2: a = 1. 如果w有偶数个 1, 则z有奇数个1。由归纳假设, (A,z) = B. 由转移表的DFA知 (A,w) = A. 如果w有奇数个 1, 则z有偶数个1。由归纳假设, (A,z) = A, 由转移表的DFA知 (A,w) = B. 因此这种情况下 (A,w) = A 当且仅当 w 有偶数个 1. 综合上述情形,命题得证。
P45 习题2.3.4 给出接受下列语言的非确定型有穷自动机。尝试尽可能多利用非确定性。 a)在字母表{0,1,...,9}上的串的集合,使得结尾数字在前面出现过。
c)0和1的串的集合,使得有两个0间隔的位置数是4的倍数。注意,0算是4的倍数。 答案
a) qs为初始状态,qf为终止状态,可一直停与qs,即尚未猜测。转移表/图如下所示。 记qi为已看到i并猜测i是结尾将要重复的数字,i=0,1,…,9。
q0 q1 ... q9 * qs c)
→qs q0 q1 q2 q3 q4 * qf
0 {q0} {qf} {q0,q2} {q0,q3} {q0,q4} {qf} {qf} 1 {qs} {q1} {q2} {q3} {q4} {q1} {qf}
0 {qf} {q1} ... {q9} {} 1 {q0} {qf} ... {q9} {} ... ... ... ... ... ... ... 9 {qs,q9} {q0} {q1} ... {qf} {}
→qs {qs,q0} {qs,q1}
正在阅读:
第1次作业01-08
单位辞职报告范文(共6篇)03-12
事业单位岗位设置竞聘方案03-17
黄连总生物碱提取工艺的优化研究11-19
最美的鲜花送给谁作文500字06-26
工程项目管理10-03
人文科学概论试题三及答案04-30
2014高考数学高分突破精品教案(吴军高分系统内部资料)04-27
聘用协议书08-22
- exercise2
- 铅锌矿详查地质设计 - 图文
- 厨余垃圾、餐厨垃圾堆肥系统设计方案
- 陈明珠开题报告
- 化工原理精选例题
- 政府形象宣传册营销案例
- 小学一至三年级语文阅读专项练习题
- 2014.民诉 期末考试 复习题
- 巅峰智业 - 做好顶层设计对建设城市的重要意义
- (三起)冀教版三年级英语上册Unit4 Lesson24练习题及答案
- 2017年实心轮胎现状及发展趋势分析(目录)
- 基于GIS的农用地定级技术研究定稿
- 2017-2022年中国医疗保健市场调查与市场前景预测报告(目录) - 图文
- 作业
- OFDM技术仿真(MATLAB代码) - 图文
- Android工程师笔试题及答案
- 生命密码联合密码
- 空间地上权若干法律问题探究
- 江苏学业水平测试《机械基础》模拟试题
- 选课走班实施方案
- 作业
- 外汇业务实用操作手册
- 2016秋季新学期教师个人工作计划
- 企业基本情况一览表
- 浅谈语文课堂提问的技巧
- C++程序设计实验指2013导
- 八年级政治上册第三课试题2
- 2013届厦门双十中学高三热身考6月理科数学测试
- 第二届“司马迁杯”全国锣鼓大赛在韩城盛大举行 - 图文
- 电力安全常识试题及答案
- 大棚黄瓜栽培技术
- 经典语录:任何失恋,都是在给真爱让路
- 沪教版高二物理选修3-2期末试题及答案(1)课案
- 企业战略管理试题及答案
- 实验学校团干培训材料
- 戈壁滩上的人间奇迹 - 煤化工创业史
- 《与象共舞》教学设计
- 2011级化学专业暑期实习计划书 - 图文
- 植物学与植物生理学检测题
- 山东省寿光市2017年中考英语二模试题
- 宏观及策略报告- 天相季度研究动态200548 - 图文