結果 : minimization of dfa example problems