- 1、本文档共39页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
形式语言与自动机ch3.7-3.9a精要
* * College of Computer Science Technology, BUPT 通过合并等价的状态进行 DFA 的优化 举例 划分结果: { 1, 2 }, {3}, {4}, {5}, { 6, 7 } 等价的状态偶对为: (1, 2),(6, 7) 新的状态集合: [1], [3], [4], [5], [6] * * College of Computer Science Technology, BUPT 最小化的 DFA 课堂练习 最小化下列 DFA: 参考结果 * * College of Computer Science Technology, BUPT 针对正则语言的 Pumping 引理 正则语言应满足的一个必要条件 用于判定给定的语言不是正则集。 物理意义:当给定一个正则集和该集合上一个足够长的字符串时,在该字符串中能找到一个非空的子串,并使子串重复,从而组成新的字符串。该新串必在同一个正则集内。 定理: 设L是正则集,存在常数k,对字符串ω∈L 且|ω|≥k,则ω可写成ω1ω0ω2,其中|ω1ω0|≤k, |ω0|>0,对所有的i≥0有ω1ω0iω2∈L。 证明 设 L 是 DFA D = (Q, T, ?, q0 , F ) 的语言, 取 k = |Q| 即可. * * College of Computer Science Technology, BUPT DFA 的“Pumping”特性 设 DFA D = (Q, T, ?, q0 , F ), |Q|=n. 对于任一长度不小于 n 的字符串 w = a1a2…am , 其中 m?n, ak?T (1? k ?m), q?Q , 考察如下状态序列 p0=q p1=?(q, a1) p2=?(q, a1a2) … pn=?(q, a1a2…an ) pn+1=?(q, a1a2…an+1 ) … pm=?(q, a1a2…am ) 由pigeonhole 原理, p0, p1, p2, …, pn 中至少有两个状态是重复的,即存在 i, j, 0?i?j?n, pi=pj . “pumping” 特性: 任一长度不小于状态数目 的字符串所标记的路径上, 必然出现重复的状态. * * College of Computer Science Technology, BUPT DFA 的“Pumping”特性 “pumping” 特性:如前,设 DFA D = (Q, T, ?, q0 , F ), |Q|=n, w = a1a2…am (m?n), 则存在 i, j, 0?i?j?n, pi=pj , 其中pk=?(p0, a1a2…ak ) , 0?k?m. 若假定p0 = q0 , pm?F, 即w?L(D). 令 w = xyz, 其中: x = a1a2…ai , y = ai+1ai+2…aj , z = aj+1aj+2…am 则对任何k ? 0,都有 xykz ?L(D). (参考下图) p0 pi pm x = a1a2…ai y = ai+1ai+2…aj z=aj+1aj+2…am * * College of Computer Science Technology, BUPT Pumping 引理的应用 ( 用于证明某个语言 L 不是正规语言) 证明步骤 1. 选任意的n. 2. 找到一个满足以下条件的串w?L (长度至少为n). 3. 任选满足w = xyz ? y?? ? |xy| ? n 的x,y,z 4. 找到一个 k ?0, 使 xykz ? L. 举例 证明L={ anbn | n≥1 }不是正则集. 证明: 由泵浦引理,假设L是正则集,则对足够大的n, anbn可写成ω1ω0ω2,其中0 |ω0|,|ω1ω0|≤n,|ω|= 2n n ω0中不可能含 b+,否则不满足0 |ω1ω0|≤n. ω0只可能取 a+,设|ω0|=k≥1,k为常数, 取i=0,有ω1ω00ω2 = ω1ω2 = an-kbn,此时,a,b字符个数不同,即新组成的串ω1ω2?L. ∴ 与假设矛盾,故L不是正则集. * * College of Computer Science Technology, BUPT Pumping 引理的应用
您可能关注的文档
- 洁柔纸巾推广讲述.ppt
- 洗煤厂自动化总承包技术协议(定9.23)讲述.doc
- 洗衣小窍门:洗衣机如何用更省电?讲述.pptx
- 洗煤厂现场处置方案讲述.doc
- 洗衣粉配方如下讲述.doc
- 洗衣机使用常识如何减小洗衣机运行噪音讲述.pptx
- 洛带垃圾厂组织总设计(3.18)讲述.doc
- 洁净的燃料——氢气课件讲述.ppt
- 形位公差讲解精要.ppt
- 洛阳市45中学生健康成长案例讲述.doc
- 吉安县公开招聘专职文明实践员笔试备考试题及答案解析.docx
- 2025重庆枫叶国际学校招聘教师笔试备考试题及答案解析.docx
- 游机队电玩自制联网教程-tplink.pdf
- 2025重庆新华出版集团招聘1人笔试模拟试题及答案解析.docx
- 2025宜宾高新丽雅城市产业发展有限公司公开招聘笔试模拟试题及答案解析.docx
- 2025云南保山市龙陵县勐糯镇人民政府招聘合同制专职消防员1人笔试模拟试题及答案解析.docx
- 11.1生活中常见的盐 九年级化学人教版下册.pptx
- 6.1法律保护下的婚姻 高二政治《法律与生活》课件(统编版选择性必修2)(新版).pptx
- 文昌市中小学教师校园招聘29人笔试模拟试题及答案解析.docx
- 10.1.5 常见的酸和碱(第5课时)课件-九年级化学人教版下册.pptx
最近下载
- 2024年民主生活会个人对照检查、批评与自我批评及表态发言+“批评与自我批评主要问题及整改措施.doc VIP
- 2024 人民医院五年中长期发展规划.pdf
- GB_T 43318-2023 燃气轮机联合循环电站 热力性能试验.pdf
- 保健按摩师试题库.doc VIP
- 高考山东卷:2024年《化学》考试真题与答案解析.pdf
- 汽油调和技术.pptx VIP
- 初中数学练习题 2022-2023学年四川省成都市武侯区八年级(上)期末数学试卷.pdf VIP
- 2003年河南高考理科数学真题及答案.pdf VIP
- 史密斯电热水器CEWH-50T使用说明书.pdf
- 高中语文大单元教学设计培训讲座课件.pptx
文档评论(0)