added DFA