Updated DFA project