Nondeterministic machine