1. non-algorithmic procedure heuristic nondeterminism A property of a computation which may have more than one result. One way to implement a nondeterministic algorithm is using backtracking, another is to explore all possible solutions in parallel.
non-algorithmic procedure |