nfa-to-dfa (mostly)