[kd0amg]

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

[szany]

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