编译原理——正规式、NFA转换构造DFA、DFA的化简

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