<>一、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,按照上述步骤解决即可;

技术
下载桌面版
GitHub
Gitee
SourceForge
百度网盘(提取码:draw)
云服务器优惠
华为云优惠券
腾讯云优惠券
阿里云优惠券
Vultr优惠券
站点信息
问题反馈
邮箱:[email protected]
吐槽一下
QQ群:766591547
关注微信