Changes to DFA and Transition Function