Nondeterministic finite-state automaton