DFA的最小化 （完整可运行代码）

本程序的基本数据结构是string类型的数组，用于储存划分的子集，而子集中的元素的邻接点与权值都在edge结构体数组中存储。把一个DFA的状态分成一些不相交的子集，使得任何不同的两子集的状态都是可区别的，而同一子集中的任何两个状态都是等价的.算法假定每个状态射出的弧都是完全的,否则,引入一个新状态,叫死状态,该状态是非终态，将不完全的输入弧都射向该状态，对所有输入，该状态射出的弧还回到自己。1.构造状态的一初始划分：终态kt和非终态K-kt两组(group)2.对∏施用过程PP构造新划分∏new3.如∏new=∏,则令∏final=∏并继