最小化DFA测试成功