Comment on Nondeterministic programmingparentComments−kd0amg15yMaybe I'm missing something, but their web site appears to discuss probabilistic procedures, which is not nondeterminism in the Turing machine sense.−szany15yNo you're right. I missed the "preferring those choices that cause the program to converge meaningfully" part. Sorry. Disregard.
Comments
Maybe I'm missing something, but their web site appears to discuss probabilistic procedures, which is not nondeterminism in the Turing machine sense.
No you're right. I missed the "preferring those choices that cause the program to converge meaningfully" part. Sorry. Disregard.