第八次-非确定的自动机NFA确定化为DFA
2024-09-04 06:11:55
NFA 确定化为 DFA
子集法:
f(q,a)={q1,q2,…,qn},状态集的子集
将{q1,q2,…,qn}看做一个状态A,去记录NFA读入输入符号之后可能达到的所有状态的集合。
步骤:
1.根据NFA构造DFA状态转换矩阵
①确定DFA初态(NFA的所有初态集),字母表
②从初态出发,经字母表到达的状态集看成一个新状态
③将新状态添加到DFA状态集
④重复23步骤,直到没有新的DFA状态
2.画出DFA
3.看NFA和DFA识别的符号串是否一致。
练习:
1.解决多值映射:子集法
1). 发给大家的图1
2). P64页练习3
2.解决空弧:对初态和所有新状态求ε-闭包
1). 发给大家的图2
2).P50图3.6
解:
最新文章
- 查看SQLserver编码格式的SQL语句
- Intellij IDEA +MAVEN+Jetty实现Spring整合Mybatis
- [转载] 纯手打 第一篇:安装配置gradle
- Gradle基础
- 转:UniqueID和ClientID的来源
- [百度空间] [原] Empty base class optimization
- HDU 2050 折线分割平面 (递推)
- IIS7.5 提示未在本地计算机上注册“Microsoft.Jet.OleDb.4.0”提供程序
- J - 今年暑假不AC
- 积累的VC编程小技巧之视图
- [Windows Phone] 如何在 Windows Phone 应用程式制作市集搜寻
- angularJS入门笔记
- Python学习笔记4基本数据类型
- 7. Callable 创建线程的方式三
- [WC2010]重建计划(分数规划+点分治+单调队列)
- 日期条控件 DateFieldControl
- 02python程序和用户交互
- Redux其实很简单(原理篇)
- css 文本和div垂直居中方法汇总
- ajax跨域调用webservice例子
热门文章
- Unix 下 使用 RVM 管理 Ruby 和 gem
- Light of future-冲刺Day 3
- springboot 启动时执行方法
- 【数据库测试工具】认识Sysbench
- 【JavaScript】js02
- Spring(二):初始值赋值
- (js描述的)数据结构 [数组的一些补充](1)
- .NET MVC中登录过滤器拦截的两种方法
- Nginx如何来配置隐藏入口文件index.php(代码)
- ModuleNotFoundError: No module named 'sklearn.cross_validation'