結果 : dfa minimization using partition method