q3:dfa