对于给定的DFA M,寻找一个状态数比M小的DFA M'使得L(M)=L(M')
1.状态的等价性：
假设s和t为M的两个状态
①若分别从状态s和状态t出发都能读出某个字α而停止于终态，则称s和t等价
②存在一个字α，使得s和t一个读出α停止于终态，另一个读出α停止于非终态，则称s和t可区别
2.基本思想：
①把M的状态集分为一些不相交的子集，使任何两个不同子集状态是可区别的，而同一子集的任何两个状态是等价的
②让每个子集选出一个代表，同时消去其他状态
3.划分
①把S划分为终态和非终态两个子集，形成基本划分∏
②假定某个时候∏已含m个子集，记为∏={I(1),I(2),…,I(m)},检查∏中的每个子集能否进一步划分：
(a)假定s1和s2是I(i)={s1,s2,…sk}中的两个状态，它们经过a弧分别到达t1和t2,而t1和t2属于现行∏中的两个不同子集，则s1和s2不等价
(b)一般地，对于某个I(i),若Ia(i)落于现行∏中N个不同的子集，则应把I(i)划分成N个不相交的组
例：