comments added regarding nfa-to-dfa