版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
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. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 事业单位法律岗面试易错题题库试卷及参考答案2026
- 事业单位法律岗面试高频考题题库试卷及参考答案
- 2027年备考会计基础 【零基础学员必练】全真模拟考试试题卷含答案
- 2027年备考会计基础 【零基础学员必练】通关提分题库及完整答案
- 2026年湖南生物机电职业技术学院高职单招笔试职业适应性测验历年参考题库含答案解析
- 2026年湖南外贸职业学院高职单招笔试语文历年参考题库含答案解析
- 2026年渤海理工职业学院高职单招笔试英语历年参考题库含答案解析
- 2026年海南外国语职业学院高职单招笔试综合素质历年参考题库含答案解析
- 2026年河北劳动关系职业学院高职单招笔试职业技能测验历年参考题库含答案解析
- 2026年江西财经职业学院高职单招笔试数学历年参考题库含答案解析
- 中医红外热像采集与分析技术规范
- 定语从句专项训练50题可打印
- 重复经颅磁刺激治疗与护理
- 四川省甘孜州泸定县冷碛镇冷碛小学-主题班会-好好说话,与爱同行【课件】
- 火灾与爆炸的预防措施
- 电力工程竣工验收报告及流程
- CFSLM治疗先天性重度上睑下垂的临床体会
- 2025年中国联通校园招聘笔试参考题库含答案解析
- 经导管主动脉瓣置换术围手术期共病诊治中国专家共识
- 钢结构监理实施细则
- 高填深挖路基监控量测施工方案 - 副本
评论
0/150
提交评论