convert nfa to dfa in toc