Updated DFA for new requirements in updated assignment.