NFA转换成等价的DFA

最新推荐文章于 2023-12-05 12:00:17 发布

Ujig

最新推荐文章于 2023-12-05 12:00:17 发布

阅读量3.2k

点赞数 6

分类专栏：软考笔记知识点

本文链接：https://blog.csdn.net/weixin_44330072/article/details/107698902

版权

知识点同时被 3 个专栏收录

14 篇文章 1 订阅

订阅专栏

笔记

13 篇文章 1 订阅

订阅专栏

软考

11 篇文章 6 订阅

订阅专栏

ε-closure(I)

意思为状态集合 I 的 ε - 闭包，是状态集 I 中的任何状态 S 经任意条 ε 弧而能到的状态的集合。（包括自身）
（下图为例的话，状态指的就是图中的1-8，通俗一点就是从 I 中的任意一个“数字”能到的“数字”的集合）

ε-closure(I)例子

NFA转换为等价的DFA

应试性解答：（不专业，只用于应试）

例子：

NFA N图

1. 第一步需要作出一个表格，如果除了 ε 只有 a 和 b 两种弧（一般都只有两种），就做三列，如下所示。

$I_{a}$

$I_{b}$

$T_{0}=\varepsilon -closure(0)$

$=\left \{ 0,1,2,4,7 \right \}$

...

通俗点讲：行的是最后得到的 DFA 图的各个状态， $I_{a}$ 是行状态能通过 a 弧能到达的状态， $I_{b}$ 是行状态能通过 b 弧能到达的状态。
求第一个 $T_{0}$ 时候要从初态（就是入口）开始将能经过 ε 能到达的状态全找出来，包括初态本身。并填入到下面的第一个表格。他就是最后得到的 DFA 的初态。

2. 将中可通过 a 弧到达的状态找出来写到 $I_{a}$ 。必须是到达的，所以0不算，没有状态到达0。可以进过 ε。 $I_{b}$ 也是同样的道理。

$I_{a}$

$I_{b}$

$T_{0}=\varepsilon -closure(0)$

$=\left \{ 0,1,2,4,7 \right \}$

$\left \{ 1,2,3,4,6,7,8 \right \}$

$\left \{ 1,2,4,5,6,7 \right \}$

...

3. 如上面所说 $T_{0}$ 是 DFA 的第一个状态，现在讲 $I_{a}$ 当作第二个状态 $I_{b}$ 是第三个状态写到下面，标记为 $T_{1}$ 和 $T_{2}$ 。

	$I_{a}$	$I_{b}$
$T_{0}=\varepsilon -closure(0)$ $=\left \{ 0,1,2,4,7 \right \}$	$\left \{ 1,2,3,4,6,7,8 \right \}$	$\left \{ 1,2,4,5,6,7 \right \}$
$T_{1}=\left \{ 1,2,3,4,6,7,8 \right \}$
$T_{2}=\left \{ 1,2,4,5,6,7 \right \}$
...	...	...

4. 按照上面的方法继续算下去，直到没有新的状态为止，最后的表格如下所示。

	$I_{a}$	$I_{b}$
$T_{0}=\varepsilon -closure(0)$ $=\left \{ 0,1,2,4,7 \right \}$	$\left \{ 1,2,3,4,6,7,8 \right \}$	$\left \{ 1,2,4,5,6,7 \right \}$
$T_{1}=\left \{ 1,2,3,4,6,7,8 \right \}$	$\left \{ 1,2,3,4,6,7,8 \right \}$	$\left \{ 1,2,4,5,6,7,9 \right \}$
$T_{2}=\left \{ 1,2,4,5,6,7 \right \}$	$\left \{ 1,2,3,4,6,7,8 \right \}$	$\left \{ 1,2,4,5,6,7 \right \}$
$T_{3}=\left \{ 1,2,4,5,6,7,9 \right \}$	$\left \{ 1,2,3,4,6,7,8 \right \}$	$\left \{ 1,2,4,5,7,10 \right \}$
$T_{4}=\left \{ 1,2,4,5,7,10 \right \}$	$\left \{ 1,2,3,4,6,7,8 \right \}$	$\left \{ 1,2,4,5,6,7 \right \}$

直到写完 $T_{4}$ 以后后面的两个在前面都出现过了，所以没有新的状态出现了，所以到此就结束了。所以将 $T_{0}$ 他们分别换成数字，写出他们的状态转换矩阵的话，如下表格所示。它也就是 DFA 的状态转换矩阵。

	$I_{a}$	$I_{b}$
0	1	2
1	1	3
2	1	2
3	1	4
4	1	2

那么它的状态转换图，如下图所示。

所求DFA的状态转换图

完毕！

参考：

https://wenku.baidu.com/view/edf6ab8bf524ccbff0218419?ivk_sa=1023194j

Ujig

关注

6
点赞
踩
15

收藏

觉得还不错? 一键收藏
0
评论
NFA转换成等价的DFA

https://wenku.baidu.com/view/edf6ab8bf524ccbff0218419?ivk_sa=1023194jhttps://blog.csdn.net/elice_/article/details/80550413
复制链接

扫一扫