|
![](/i/fill.gif) |
Is it possible for a non-deterministic turing machine to solve the halting
problem of deterministic turing machines? That is, can I use a NDTM as an
oracle for DTMs? I don't think so, right? There's no way to check your
guess is correct, basically?
--
Darren New, San Diego CA, USA (PST)
Serving Suggestion:
"Don't serve this any more. It's awful."
Post a reply to this message
|
![](/i/fill.gif) |