Nondeterministic finite state machine