updated dfa
updated nfa