nfa_simulation