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. 【代码笔记】iOS-UILable高度自适应(sizeWithFont)
  2. CentOS7安装PHP简易步骤
  3. Nginx负载均衡深入浅出
  4. python3中输出不换行
  5. 郑州轻工业OJ1400--这不可能是情书吧
  6. HDU 5074 Hatsune Miku(DP)
  7. 960 grid 使用
  8. 利用HTML5+Socket.io实现摇一摇控制PC端歌曲切换
  9. vue.js 生命周期
  10. [Poi2010]Monotonicity 2 线段树
  11. JQuery.lazyload 图片延迟加载
  12. 基于Html5 Plus + Vue + Mui 移动App开发(三)-文件操作(读取、保存、更新数据)
  13. Win64/Linux 上PyMouse安装
  14. vue中鼠标移入字体下面显示颜色并改变字体颜色的问题
  15. 测试工具之badboy
  16. drupal 2006 mysql server has gone away
  17. Orcale新增、修改、删除字段
  18. 计算N个点和M个点之间的距离
  19. 使用 systemctl 创建 ss 开机
  20. 网络编程之Socket异步编程

热门文章

  1. 代码审计中的SQL注入
  2. 使用ArcGIS实现WGS84经纬度坐标到北京54高斯投影坐标的转换
  3. [LC] 15. 3Sum
  4. 非参数检验|Sign test|Wilcoxon signed rank test|Wilcoxon rank sum test|Bootstrapping
  5. nowcoder-548C-Tachibana Kanade Loves Review
  6. android优化中国风应用、完整NBA客户端、动态积分效果、文件传输、小说阅读器等源码
  7. spring配置ConcurrentMap实现缓存
  8. top100 paper
  9. maven依赖找不到,快速解决
  10. 用VS2013进行调试