确定有穷自动机的化简方法有很多，我们介绍一个方法，叫做"分割法"：把一个DFA(不含多余状态)的状态分成一些不相交的子集，使得任何不同的两子集的状态都是可区别的，而同一子集中的任何两个状态都是等价的。通过将此方法施于图4.8的DFA M上来做一介绍。