start a dfa