NFA如何转换成等价的DFA_第1页
NFA如何转换成等价的DFA_第2页
NFA如何转换成等价的DFA_第3页
NFA如何转换成等价的DFA_第4页
NFA如何转换成等价的DFA_第5页
已阅读5页,还剩8页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、主讲:陈小娟主讲:陈小娟西南大学荣昌校区信息管理系西南大学荣昌校区信息管理系 NFA NFA转换为等价的转换为等价的DFADFA4.34.3编译原理编译原理4.3.1 4.3.1 基本概念基本概念 (1) (1) FAFA( finite automatafinite automata)有穷自动机)有穷自动机 作为一种作为一种识别装置识别装置,它能准确地,它能准确地识别识别文法所文法所定义的定义的语言语言和正规式表示的和正规式表示的集合集合。 引入引入FAFA的目的:是为词法分析程序的自动构的目的:是为词法分析程序的自动构造寻找方法和工具。造寻找方法和工具。 NFADFAFA(2) DFA(d

2、eterministic finite automata)(2) DFA(deterministic finite automata) 确定的确定的有穷自动机有穷自动机(3) NFA(3) NFA(nondeterministic finite automatanondeterministic finite automata) 不确定的不确定的有穷自动机有穷自动机 两者的区别是:转换函数和初态方面的不同两者的区别是:转换函数和初态方面的不同4.3.1 4.3.1 基本概念基本概念(1)(1)定理定理: :设设L L为一个由不确定的有穷自动机接受的集合,为一个由不确定的有穷自动机接受的集合, 则

3、存在一个接受则存在一个接受L L的确定的有穷自动机。的确定的有穷自动机。(2)(2)子集法:子集法:将不确定的有穷自动机转换成接受同样语将不确定的有穷自动机转换成接受同样语 言的确定的有穷自动机。言的确定的有穷自动机。4.3.2 NFA4.3.2 NFA转换为等价的转换为等价的DFADFA的算法的算法定义对状态集合定义对状态集合I I的几个有关运算:的几个有关运算:1 1 状态集合状态集合I I的的 - -闭包,表示为闭包,表示为,定义为一状态集,是状态,定义为一状态集,是状态集集I I中的任何状态中的任何状态S S经任意条经任意条 弧而能到达的状态的集合。弧而能到达的状态的集合。 I=1,

4、-closure(I)= 1,2; 12534aa a例例687I=5, -closure(I)= 5,6,2;4.3.2 NFA4.3.2 NFA转换为等价的转换为等价的DFADFA的算法的算法2 状态集合状态集合I的的a弧转换,表示为弧转换,表示为定义为状态集合定义为状态集合J,其中,其中J是是所有那些可从所有那些可从I的某一状态经过一条的某一状态经过一条a弧而到达的状态的全体。弧而到达的状态的全体。 定义定义Ia = -closure(J)move(1,2,a)= 5,3,4 -closure(5,3,4)=Ia =2,3,4,5,6,7,812534aa a例例6874.3.2 NFA

5、4.3.2 NFA转换为等价的转换为等价的DFADFA的算法的算法构造构造NFA NNFA N的状态的状态K K的子集的算法的子集的算法算法描述如下:算法描述如下:假定所构造的假定所构造的子集族子集族为为C,即,即C= (T1, T2,. TI),其中其中T1, T2,. TI为状态为状态K的子集。的子集。1. 开始,令开始,令 -closure(K0)为为C中中唯一唯一成员,成员, 并且它是并且它是未被标记未被标记的。的。构造构造NFA NNFA N的状态的状态K K的子集的算法:的子集的算法:2.2.while while (C C中存在尚未被标记的子集中存在尚未被标记的子集T T)dod

6、o 标记标记T T; for for 每个输入字母每个输入字母a doa do U:= U:= -closure(move(T,a)-closure(move(T,a); if Uif U不在不在C C中中 then then 将将U U作为未标记的子集加在作为未标记的子集加在C C中中 例例 将下图的将下图的NFA NNFA N转换成转换成DFA MDFA M023456789101bbbaaNFA N 图图4.3.3 应用举例应用举例023456789101bbbaaIaIbT0= -closure(0) =0,1,2,4,71,2,3,4,6,7,81,2,4,5,6,7 T1= 1,2,3,4,6,7,81,2,3,4,6,7,8 1,2,4,5,6,7,9 T2= 1,2,4,5,6,71,2,3,4,6,7,8 1,2,4,5,6,7 T3= 1,2,4,5,6,7,9 T4= 1,2,4,5,7,10 1,2,3,4,6,7,8 1,2,4,5,7,10 1,2,3,4

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论