Nondeterministic_finite_automaton loading ...