Working on DFA minimization