$dfa