modify bug on dfa to dfa convertor