Nondeterministic computing