nfa-to-dfa empty vertex fix