Create DFA