完成DFA最小化