nfa

val nfa: MutableList<State>