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

解:

最新文章

  1. 查看SQLserver编码格式的SQL语句
  2. Intellij IDEA +MAVEN+Jetty实现Spring整合Mybatis
  3. [转载] 纯手打 第一篇:安装配置gradle
  4. Gradle基础
  5. 转:UniqueID和ClientID的来源
  6. [百度空间] [原] Empty base class optimization
  7. HDU 2050 折线分割平面 (递推)
  8. IIS7.5 提示未在本地计算机上注册“Microsoft.Jet.OleDb.4.0”提供程序
  9. J - 今年暑假不AC
  10. 积累的VC编程小技巧之视图
  11. [Windows Phone] 如何在 Windows Phone 应用程式制作市集搜寻
  12. angularJS入门笔记
  13. Python学习笔记4基本数据类型
  14. 7. Callable 创建线程的方式三
  15. [WC2010]重建计划(分数规划+点分治+单调队列)
  16. 日期条控件 DateFieldControl
  17. 02python程序和用户交互
  18. Redux其实很简单(原理篇)
  19. css 文本和div垂直居中方法汇总
  20. ajax跨域调用webservice例子

热门文章

  1. Unix 下 使用 RVM 管理 Ruby 和 gem
  2. Light of future-冲刺Day 3
  3. springboot 启动时执行方法
  4. 【数据库测试工具】认识Sysbench
  5. 【JavaScript】js02
  6. Spring(二):初始值赋值
  7. (js描述的)数据结构 [数组的一些补充](1)
  8. .NET MVC中登录过滤器拦截的两种方法
  9. Nginx如何来配置隐藏入口文件index.php(代码)
  10. ModuleNotFoundError: No module named 'sklearn.cross_validation'