图 4.7 消除多余状态 　　对于给定的有穷自动机，如果它含有多余状态，可以非常简单地将多余状态消除，而得到与它等价的有穷自动机，例如图4.7(a)的状态s4连同状态s4射出的两个弧消掉，得到如图4.7(b)的有穷自动机。而在图4.7(b)中，状态s6和s8也是不能从开始状态经由任何输入串而到达的，也将它们连同由它们射出的弧消除而得到如图4.7(c)的有穷自动机。 　　确定有穷自动机的化简就是指DFA的最小化，也就是寻求最小状态DFA 　　简言之，最小状态DFA满足： 　　没有多余状态（死状态） 　　没有两个状态是互相等价（不可区别） 　　下图的DFA中，没有多余状态。考察状态C和D，首先C和D同是终态，其次在读入a后分别到达C和F，而C和F也同是终态，C和F读入a后都到达C，读入b后都到达E，所以C和D等价。