update nfa