fix bug of dfa