updated to use latest version of nfa2dfa