new nfa, state, transition