版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、主讲:陈小娟 西南大学荣昌校区信息管理系,NFA转换为等价的DFA,4.3,编译原理,4.3.1 基本概念,(1) FA( finite automata)有穷自动机 作为一种识别装置,它能准确地识别文法所定义的语言和正规式表示的集合。 引入FA的目的:是为词法分析程序的自动构造寻找方法和工具。,NFA,DFA,FA,(2) DFA(deterministic finite automata) 确定的有穷自动机 (3) NFA(nondeterministic finite automata) 不确定的有穷自动机 两者的区别是:转换函数和初态方面的不同,4.3.1 基本概念,(1)定理:设L为
2、一个由不确定的有穷自动机接受的集合, 则存在一个接受L的确定的有穷自动机。 (2)子集法:将不确定的有穷自动机转换成接受同样语 言的确定的有穷自动机。,4.3.2 NFA转换为等价的DFA的算法,定义对状态集合I的几个有关运算: 1 状态集合I的-闭包,表示为-closure(I),定义为一状态集,是状态集I中的任何状态S经任意条弧而能到达的状态的集合。,I=1,-closure(I)= 1,2;,1,2,5,3,4,a,a,a,例,6,8,7,I=5,-closure(I)= 5,6,2;,4.3.2 NFA转换为等价的DFA的算法,2 状态集合I的a弧转换,表示为move(I,a)定义为状
3、态集合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,8,1,2,5,3,4,a,a,a,例,6,8,7,4.3.2 NFA转换为等价的DFA的算法,构造NFA N的状态K的子集的算法,算法描述如下: 假定所构造的子集族为C,即C= (T1, T2,. TI), 其中T1, T2,. TI为状态K的子集。 1. 开始,令-closure(K0)为C中唯一成员, 并且它是未被标记的。,构造NFA N的状态K的子集的算法:,2.whi
4、le (C中存在尚未被标记的子集T)do 标记T; for 每个输入字母a do U:= -closure(move(T,a); if U不在C中 then 将U作为未标记的子集加在C中 ,例 将下图的NFA N转换成DFA M,NFA N 图,4.3.3 应用举例,0,2,3,4,5,6,7,8,9,10,1,b,b,b,a,a,1,2,3,4,6,7,8,1,2,4,5,6,7,T1= 1,2,3,4,6,7,8,1,2,3,4,6,7,8,1,2,4,5,6,7,9,T2= 1,2,4,5,6,7,1,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,6,7,8,1,2,4,5,6,7,b,0
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025年宜昌检察官入额考试真题及参考答案详解(夺分金卷)
- 2026年安全员A证资格考试全真模拟试卷及答案(共六套)
- 2026年brc外审员考试试题及答案
- nihss评分考试试题及答案
- 2025-2026学年湖南省衡阳县第四中学高一下学期期中考试数学试题 含答案
- 2026年给水图纸绘制考试试题及答案
- 酒店业智能客房服务与管理系统建设方案
- 关于供应商審查結果的通知5篇
- 创新创业项目可行性研究报告模板
- 企业会议组织及会议纪要标准化流程
- 机器人操作系统(ROS2)入门与实践 课件全套 第1-12章 Linux Ubuntu入门基础 -基于ROS2的综合应用
- DL∕T 2340-2021 大坝安全监测资料分析规程
- 2024年陕西省西安市灞桥区西安国际港务区铁一中陆港初级中学陆港分校小升初分班考数学试题
- DB11T 489-2024 建筑基坑支护技术规程
- 《春夜喜雨》完美版课件
- 2021年山东省淄博市中考生物真题
- GB/T 38537-2020纤维增强树脂基复合材料超声检测方法C扫描法
- GB/T 28037-2011信息技术投影机通用规范
- GA/T 1400.2-2017公安视频图像信息应用系统第2部分:应用平台技术要求
- 多维阅读第4级Animal Fathers 动物爸爸 课件
- 颈动脉超声检查课件
评论
0/150
提交评论