DFA⇒NFA half done