确定的有穷自动机的最小化

思路： 将M的状态集合分成一些不相交的子集，使任何不同的两个子集的状态都是可区别的，而同一子集中的任何两个状态都是等价的。最后，在每个子集选出一个代表，同时消去其他等价状态。 简化算法--分割法  1.把DFA状态分割成两个状态S1’(终止状态集)和S2’(非终止状态集)。 2.对每个状态集按下述方法进行分割： 设第i次分割把集合分割成S=S1(i)∪S2(i)∪…∪Sk(i)，检查状态集Sj(i

>>阅读原文<<