adding to DFA