Update DFA.cpp