DFA的最小化
对于一个DFA M =（K,∑,f, k
0
,,k
t
)，存在一个最小状态DFA M’=（K’,∑,f’,k
0
’,k
t
’)，,使L(M’)=L(M). 算法的核心
把M的状态集K分成不相交的子集。
结论：
接受L的最小状态有穷自动机不计同构是唯一的。
DFA
的最小化算法