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