自动机-第4章.pptVIP

  1. 1、本文档共19页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 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 *

文档评论(0)

xcs88858 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

版权声明书
用户编号:8130065136000003

1亿VIP精品文档

相关文档