minimization of dfa example problems