DFA的最小化（残缺可运行代码）

DFA的最小化（残缺可运行代码）
本法度圭表标准的底子数据结构是string尺度的数组，用于贮存松散的子集，而子群集的元素的毗邻点与权值都在edge结构体数组中存储。
把一个DFA的外形分成一些不相交的子集，使患上任何不合的两子集的外形都是可差距的，而对于立子群集的任何两个外形都是等价的.算法假如每一个外形射出的弧都是残缺的,不然,引入一个新外形,叫去世外形,该外形玄色终态，将不残缺的输入弧都射向该外形，对于齐全输入，该外形射出的弧还回到自己。
1.结构外形的一初始松散：终态kt以及非终态K-kt两组(group)2.对于∏施用进程PP结构新松散∏new3.如∏new=∏,则令∏final=∏并络续步骤4，不然∏:=∏new重复2.4.为∏final中的每一组选一代表，这些代表组成M’的外形。
若k是一代表且f(k,a)=t,令r是t组的代表，则M’中有一转换f’(k,a)=rM’的末了外形是含有S0的那组的代表M’的终态是含有F的那组的代表5.去掉M’中的去世外形.输入文本花色子外形例：0a11a22a22d31d33d33a2#1230ad 本软件ID:10657502