regex -> nfa