- 1、本文档共19页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
自动机-第4章
第四章 正则语言的性质 §1.pumping引理 定理.设L是正则语言,则存在与L有关的常数n,使得对任意w∈L,如果|w|≥n,则w可以写成w=xyz,满足 1.y≠ε 2.|xy|≤n 3.对任意k≥0,xykz∈L §1.pumping引理---应用 用途。证明某语言不是正则语言。 例.证明语言L={0m1m|m≥0}不是正则语言。 例.证明语言L={0m1n|n≥m}不是正则语言。 §2.正则语言的封闭性 §2.正则语言的封闭性---证明 §2.正则语言的封闭性---证明 §4.正则语言的判定问题 主要解决如下问题: 判定正则语言是否为空语言。 判定一个串是否为某正则语言的成员。 判定两个语言表示是否实际描述同一个语言。 最小化一个DFA。 4.1正则语言的判定问题 判定正则语言是否为空。 用自动机描述语言时,实为有向图的可达性为题: 起始状态是可达的。 如果p可达,δ(p,a)=q或δ(p,ε)=q,则q可达。 有一个可达状态属于F,自动机接受的语言就不空。 用正则表达式R描述语言时: R=Φ时,L(R)=Φ;R=ε或a时, L(R)≠Φ R=E+F时, L(R)=Φ? L(E)=Φ∧L(F)=Φ R=EF时, L(R)=Φ? L(E)=Φ∨L(F)=Φ R=E*时, L(R)≠Φ §4.2 正则语言的判定问题 判定一个串是否为某正则语言的成员。 给定DFA,模拟DFA的执行。 给定NFA,转换NFA成DFA,然后模拟DFA。 给定NFA,直接模拟NFA的执行。 §4.3 判定两个语言表示是否描述同一个语言 §4.3 状态的等价和可区分:例 p和q可区分:w=0 p和r可区分: w=0 q和r等价: δ(q,0)=p=δ(r,0) δ(q,1)=r δ(r,1)=q §4.4 自动机的最小化。 问题:设A=Q,Σ,δA,q0,F,求与A等价的状态数最少的DFA。 定理.DFA状态的等价关系R确实是Q上的一个等价关系。 事实. 所有终止状态分成几个等价类,即终止状态和非终止状态不可能混杂在同一个等价类中。 如果q1和q2在同一个等价类中,w∈Σ*,则 同属于某个等价类。 构造最小自动机B=PB,Σ,δB,p0,FB. PB ={Q关于R的等价类} p0 =包含q0的等价类 FB=所有的由A的终止状态构成的等价类 δB的定义:设p∈P且a ∈Σ, 定义δB (p,a)=δA (q,a)所属等价类, 其中q ∈p。 4.最小自动机确实最小 定理.设A是DFA,M是按前节方法从A创建的最小DFA,N是与A等价的任意DFA。则M的状态数N的状态数。 证明.假设M,N的状态数分别是m,n, 注意M肯定无不可达状态,否则删除后获得一个状态更少的等价DFA。 象验证自动机等价一样,把M,N并成一个自动机。 把合并后的自动机状态分成等价类。 自动机M不含等价的状态。因此q1,…,qm在m个不同的等价类中。 现在说明,包含qi,i=1,…m,的等价类一定含有N的状态pj。因此m≤n。 假设q1,p1是初始状态,则有w=a1…an,使得M进入状态qi,同时w使N从p1进入状态pj,因为q1和p1不可区分(因为L(M)=L(N)),所以qi和pj不可区分,即qi和pj在同一个等价类中。 总结 pumping引理及应用 正则语言的封闭性 正则语言性质的判定 判定两个语言表示是否实际描述同一个语言。 最小化DFA。 习题 §1 P88 习题4.1.1 d),e) 习题4.1.2 c),d),e) §2 P100 习题4.2.6 习题4.2.7 习题4.2.13 §4 P112 习题4.4.2 * §2.正则语言的封闭性---证明 §2.正则语言的封闭性---证明 p q 0 h(0)=abc p q a b c L T* Σ* H-1(L) h A B C D E 1 0 0 1 0 1 0 1 1 0 A B C D X X X X X X B C D E 最小化自动机. 等价类{{E},{C,D}} 初态. {C,D} 终态. {C,D} δ δ({C,D},0)={C,D} δ({C,D},1)={E} δ({E},0)={C,D} δ({E},1)={E} §4.3 判定两个语言表示是否等价---例 语言是ε+(0+1)*0 *
您可能关注的文档
- 爱国者 L8267 U盘制作标签的方法.doc
- CMS-深喉咙标签全集及示例.doc
- 行政部门信息化相关标识命名规范.doc
- 3.1遥感平台—南京师范大学遥感导论.ppt
- V6.x用sql标签实现折叠树形菜单教程-科讯CMS.doc
- UL标签的订购与领用.doc
- Struts2标签库1111.doc
- 第一讲 DOS简介.doc
- 硬盘专业检测维修软件MHDD使用手册2.doc
- 库存控制与仓储管理实验-电子标签拣货作业.docx
- 2025AACR十大热门靶点推荐和解读报告52页.docx
- 财务部管理报表.xlsx
- 高中物理新人教版选修3-1课件第二章恒定电流第7节闭合电路欧姆定律.ppt
- 第三单元知识梳理(课件)-三年级语文下册单元复习(部编版).pptx
- 俄罗斯知识点训练课件-七年级地理下学期人教版(2024).pptx
- 课外古诗词诵读龟虽寿-八年级语文上学期课内课件(统编版).pptx
- 高三语文二轮复习课件第七部分实用类文本阅读7.2.1.ppt
- 高考物理人教版一轮复习课件第4章第3讲圆周运动.ppt
- 高考英语一轮复习课件53Lifeinthefuture.ppt
- 2025-2030衣柜行业风险投资发展分析及投资融资策略研究报告.docx
最近下载
- 乍得城网立项建设可行性分析论证研究报告.doc VIP
- 风力发电场生产准备导则 NB/T 10217-2019.pdf VIP
- 部编版三年级(上册)语文写字表生字描红字帖.pdf VIP
- 译林小学英语五上U1-2单元综合试卷(含听力和答案-很好).doc VIP
- 仁爱版(2024)七年级英语上册Unit 3 Lesson 5 Grammar in Use 参考课件.pptx VIP
- 2025年机械设计手册 第五版 目录.pdf VIP
- 25题教学_教务管理岗位常见面试问题含HR问题考察点及参考回答.docx VIP
- T_CSUS 69-2024 智慧水务技术标准.pdf VIP
- 智慧医院能源及节能监管平台建设方案.ppt
- 第四章 Lingo的输入输出及界面 优化软件与应用 技术方案.ppt VIP
文档评论(0)