4 ms·

Maybe I'm missing something, but their web site appears to discuss probabilistic procedures, which is not nondeterminism in the Turing machine sense.

• szany 16y ago
  No you're right. I missed the "preferring those choices that cause the program to converge meaningfully" part. Sorry. Disregard.