实验六：DFA最小化 一：要求输入： DFA。输出： 最小化的DFA。二：实验目的1. 熟练掌握DFA及NFA的定义及有关概念。2. 理解并掌握确定的有穷自动机的最小化等算法。三：实验原理1.化简DFA关键在于把它的状态集分成一些两两互不相交的子集，使得任何两个不相交的子集间的状态都是可区分的，而同一个子集中的任何两个状态都是等价的，这样可以以一个状态作为代表而删去其他等价的状态，然后将无关状态删去，也就获得了状态数最小的DFA。2.DFA的化简算法：（1） 首先将DFA M的状态划分出终止状态集K1和非终止状态集K2。KK1K2 由上述定义知，K1和K2是不等价的。（2） 对各状态集每次按下面的方法进一步划分，直到不再产生新的划分。设第i次划分已将状态集划分为k组，即：KK1(i)K2(i)Kk(i)对于状态集Kj(i)（j=1,2,k）中的各个状态逐个检查，设有两个状态Kj、 KjKj(i)，且对于输入符号a，有：F（Kj，a）KmF（Kj，a）Kn
