add construction nfa state