fixed dfa bug. add minimization dfa