minimization of dfa in compiler design