結果 : minimization of dfa problems