一、DFA和NFA的区别

NFA:非确定有限自动机
DFA:确定有限自动机
NFA在同一状态,可以有多条出边,DFA在同一状态,只能有一条出边;
NFA的初态可以具有多个,DFA的初态是唯一的;
在这里插入图片描述
比如这个图就是NFA,因为0可以通过输入一个字符a到达本身,还可以通过a到达1,这就是在同一状态,有多条出边;

二、构造DFA

下图有三条重要的转换规则,在通过正规式构造NFA图时用到的;
在这里插入图片描述

1. 通过正规式构造DFA(核心)

例题

在这里插入图片描述
这个题就是给你正规式,让你构造DFA,通过第一个正规式进行示例:

(1)把正规式转换为NFA

使用上面的三个规则,可以将正规式最终转化为一个NFA图
在这里插入图片描述

(2)把NFA通过子集构造法转换为DFA(确定化)
①先根据NFA图,画出状态转换矩阵如下:

在这里插入图片描述

②可以对矩阵进行编号,然后用其编号,画DFA的状态转换图:

在这里插入图片描述

③根据上面已经编过号的图,画出DFA的状态转换图,集合含终态的元素,注意要画两个圈圈

在这里插入图片描述

(3)把DFA通过分割法进行化简(最小化)
①最小化的分析过程

我这里刚开始写的比较繁琐,主要是方便理解,做熟悉的话,可以直接写出不成立条件,从集合里拆分出来即可,没必要把成立的也写一遍;这题最终确定的集合为:{0},{1,2},{3},{4},{5},那么就可以删除一个点 2,因为1可以替代它;
在这里插入图片描述

②画出化简后的DFA状态转换图

通过和化简前的对比可以发现,没有删除的点,它都不变;把删除的点的自环传给替代它的点,把2的入边(原来指向2的边,现在指向它的替代,也就是指向1),2的出边(就是由2引出去的边)不用管,因为取代他的点,自然会指向2引出去的边到达的点;
在这里插入图片描述

2.通过NFA图构造DFA

这种类型题其实和上面一样,只不过比上面少一步,不需要自己把正规式转化为NFA;

例题

在这里插入图片描述
第一问,对于图a,和上面一样,先画出状态转换矩阵,对矩阵进行编号,然后画出DFA,然后通过分割法进行化简,然后画出化简后的DFA即可;
在这里插入图片描述
第二问直接分割法化简,然后根据化简结果,删除一些非必要的点画出DFA即可;
在这里插入图片描述
在这里插入图片描述

3.需要先求正规式再构造DFA

这种类型题,需要先把题目的描述用正规式表示出来,然后通过上面的步骤进行DFA的求解;

例题

在这里插入图片描述
这个符号串是由0和10构成的,所以它的正规式为:(0|10)*,然后这就是第一条的 通过正规式构造DFA,按照上述步骤解决即可;
在这里插入图片描述
在这里插入图片描述

Logo

旨在为数千万中国开发者提供一个无缝且高效的云端环境,以支持学习、使用和贡献开源项目。

更多推荐