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

[AI100_小助手]

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