本法度圭表标准的底子数据结构是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
1