Two-way_nondeterministic_finite_automaton