wrap up and dfa minimization 56142