Nondeterministic finite-state machine