Update DFA.h