第一步:删除无用状态
无用状态指的是从初态出发,不管输入的是什么符号都无法到达的那个状态,这个状态没有意义,直接删除即可。...用一个例子来说明:
image.png
将这个 DFA 进行化简的步骤是这样的:
① 划分非终态集和终态集:
根据非终态和终态,划分出了两个集合:{1,2,3,4} 和 {5,6,7}。...b 后,到达了其它状态,这些状态汇总的集合是 {5,6},注意这个状态集合并不是当前已划分的状态集合 的子集,所以这里要进行划分。...比方说,在上面这个例子中,如果我们是先考察非终态集,那么最后划分得到的状态集合将是:为 {1,2} ,{3,4} ,{5},{6,7}。...但是为什么一开始会觉得 3 和 4 应该在一起呢?是因为我们当时先检查的是非终态集合,没有检查终态集合,终态集合在那个时候只有 {5,6,7} ,是暂时还没有划分的。