Comment on Nondeterministic programmingparentComments−szany15yNavia Systems is designing nondeterministic hardware.http://www.naviasystems.com/−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
Navia Systems is designing nondeterministic hardware.
http://www.naviasystems.com/
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.