finalizing DFA project