fixed  minimization dfa bug.