dfa to re