Create dfa