编译原理——NFA确定化和DFA最小化

前言：这是我学习编译原理，课程实验的内容，课程早已结束，现整理发表。

一、实验任务

存储NFA与DFA；
编程实现子集构造法将NFA转换成DFA。
先完善DFA，再最小化DFA。

二、实验内容

确定NFA与DFA的存储格式。要求为3个以上测试NFA准备好相应有限自动机的存储文件。
用C或JAVA语言编写将NFA转换成DFA的子集构造法的程序。
准备3个以上测试DFA文件。（提示：其中一定要有没有最小化的DFA）
DFA手动完善。（状态转换映射要是满映射）
用C或JAVA语言编写用等价划分法最小化DFA的程序。

其实这部分内容要求没这么简单的，还有验证是否转换成功，怎么验证呢？只要你求出原来的和改后的某个子集（如长度小于某个N），再证实两个语言集合完全相同。不过当初我忘了这个了，后来验收的时候才发现没写，所以这部分我也不会加进来了。￣ω￣=

三、存储格式

3 // 字符集中的字符个数 (以下两行也可合并成一行)
/ * o // 以空格分隔的字符集。O代表任意非/和*的字符
5 // 状态个数 (以下两行也可合并成一行)
1 2 3 4 5 // 状态编号。若约定总是用从1开始的连续数字表示，则此行可省略
1 // 开始状态的编号。若约定为1，则此行可省
1 // 结束状态个数。若约定为1，则此行可省略
5 // 结束状态的编号
2  -1  -1 // 状态1的所有出去的转换。按字符集中的字符顺序给出。-1表示出错状态
-1  3  -1
-1  4   3
5   4   3
-1  -1  -1

这部分不会照搬的，到后面输入会修改。不过大致还是这样的格式。

四、程序设计

实现思路

想想还是写一点点吧，否则感觉缺点什么。

nfa和dfa来看的大致都知道了，转换的话只要是用子集构造法。至于子集构造法怎么样的，大家自己查吧，我要说的就是注意空字符的到达处理，循环需要注意。
而dfa最小化是最简单的吧，我反正就是先分为先分为是接受状态的集合和不是接受状态的集合，然后把转换状态相同的分为一个状态就可以了。当然，要修改状态的转换。

文件说明：

  1. intArr.h intArr.cpp 数组类，用于实现数字集合的并，删除，查找2. NFA_To_DFA.h NFA_To_DFA.cpp dfa转nfa的类3. minimalDFA.h minimalDFA.cpp 最小化dfa的类4. main.cpp 主函数

类设计说明

1）intArr类

class intarr
{
public:intarr();intarr(intarr &arr1);                   //复制构造函数int inline getSize(){return size;}      //获取集合大小void cleanArr();                        //清空集合元素void operator &= (int num);             //重载&=，并入单个元素void operator &= (intarr &arr1);        //重载&=，并入一个集合void getSort();                         //对集合元素从小到大排序int &operator[](int i);                 //重载[]，可以向数组一样获得元素bool operator == (intarr &arr1);        //重载==，判断两个集合是否相等bool getNum(int num);                   //判断一个数字是否在集合中void delNum(int num);                   //删除一个数字int getNumber();                        //获得创建对象的个数private:int *arr=NULL;      //数组指针int size;           //数组大小static int number;  //创建对象的个数
};

2） NFA_To_DFA类

dfa中的dfa集合

struct state
{int stateNum;        //这个状态的编号int *nextNum;        //根据输入字符将会指向哪些状态intarr nfaArr;       //NFA状态集bool isMake = false; //是否标记static int maxNum;   //最大状态标号
};

共享的一个dfa状态，作为一个中间状态用于创建新的dfa状态

struct sstate
{intarr nfaArr; //NFA状态集int stateNum = 0;
};

nfa转dfa的类

class nfa_to_dfa
{public:nfa_to_dfa(std::string fn); //默认构造函数void getIntArr(int num, std::string s);void closure_s();                     //空字符匹配void closure_T(int num, int charNum); //字符集匹配void inStates();                      //是否在当前DFA状态中了void read();                          //读取NFA数据void convert();                       //开始转换void output();~nfa_to_dfa() {} //析构函数private:std::string charracters;          //nfa字符集int charrLength = 0;              //字符集的长度int statesNumber = 0;             //nfa状态个数，默认为0int currState = 1;                //开始状态编号，默认为1,不用输入int endNum = 1;                   //nfa接受状态个数，默认为1int *acceptStates = NULL;         //nfa接受状态集std::string **convertFrom = NULL; //转换表std::string filePath;             //文件输入对象sstate shareState;                //一个共享对象，用于转换int acceptNum = 0;      //转换出的dfa接受状态个数intarr DfaAcceptstates; //dfa接受状态集
};

3）minimalDFA类

最小化dfa的一个状态，用结构体描述

struct minState
{static int maxNum;      //最大状态数intarr sameState;       //相同的输出的状态集合int  minNum;            //这个最小dfa的状态标int *nextState=NULL;    //不同输入字符的情况下指向不同状态的集合int isAcceptState=0;    //是否为接受状态
};

最小化dfa。算法思想：
先将状态划分为接受状态和非接受状态。对于dfa中在输入相同的字符转到相同的状态的状态把这些状态划分到一组。

class minDfa
{public:minDfa(std::string str);  //构造函数void read();              //读取数据void divide();            //划分dfavoid output();            //状态集bool isqueal();           //判断两个最小化dfa是否相等private:std::string charracters;  //字符集int charLength=0;int stateNum = 0;         //状态个数，默认为0int currState = 1;        //开始状态编号，默认为1int endNum = 1;           //接受状态个数，默认为1int *acceptState = NULL;  //接受状态int **convertFrom = NULL; //转换表minState *states;         //最小化dfa状态集std::string path;         //要读取文件的路劲
};

五、实验测试

输入的nfa文件中

 第一行 为字符集 ,?表示空字符第二行 为状态个数，默认为从状态1开始，所以不用输入开始状态 第三行 为行为接受状态个数 第四行 为接受状态 第五行 开始为状态转换表。列为字符集，对应为一个二维数组，在哪个状态输入哪个字符转到哪个状态，-1为错误状态。

NFA转换为DFA

1）nfa_to_dfa的输入文件nd：(aa|b)*(a|bb)*

ab?
4
1
3
2,1,3,
1,-1,-1,
3,4,-1,
-1,3,-1,

2）在文件dfa_to_nfa中输出:

ab
5
4
1 2 3 5
{1,3,}      2 3
{2,3,}      1 4
{1,3,4,}        2 3
{4,}        -1 5
{3,}        5 4

3）作为minDfa的输入文件dfa：

4）最小化mindfa输出

{1,3,}   1: 2 1      isacceptstate:1
{2,}    2: 1 3      isacceptstate:1
{4,}    3: -1 4         isacceptstate:0
{5,}    4: 4 3      isacceptstate:1
***********

六、实验总结

来看怎么写的肯定要失望了，因为除了贴了些类的说明，也没有什么好参考的。我也知道我该写下是怎么写nfa转dfa，dfa怎么转换的，代码该怎么写，但是，太久了，我忘记了，你们可以直接看代码理解。还有如果对比是不是觉得我分文件啊，用结构体啊，用类啊写的好复杂啊，其实我也觉得挺复杂的，但是事实上大规模的代码实现分文件写是很好的，方便修改，如果一个文件维护修改会很麻烦，当初我也是第一次写这么多的分文件代码。但总的收获是不少的，中间遇到了许多问题，可以的话，试下这样写吧。

七、资料下载

具体代码见NFA_TO_NFA