Nondeterministic_finite_automata loading ...