Re: The proof that I was referring to is on the website

From: George Greene (greeneg_at_greeneg-cs.cs.unc.edu)
Date: 08/11/04 

Date: 11 Aug 2004 13:54:54 -0400

 : Peter Olcott wrote:
 : The Halt function would merely ask the
 : UTM whether or not its specifically indicated final state has any
 : state transition defined. This information is very easy for the UTM
 : to provide, it merely looks up the action associated with the state
 : in its state transition matrix table. "

Will Twentyman <wtwentyman@read.my.sig> writes:
 : What if Halt is not running on a UTM?

Then the request for the information will simply FAIL, of course!
Don't you know ANYthing? I swear, y'all should be truly grateful
that I The Great Peter Olcott will so patiently spend so much of
my time and energy educating so many of you tuition-free. 

-- 
 --- The history of our nation has demonstrated that separate is seldom, if ever, equal.
 --- (Feb.3,2004) Supreme Judicial Court of Massachusetts (4-3), adv.Sen.#2175

Relevant Pages

  • Re: The proof that I was referring to is on the website
    ... "The last step is the method by which the Halt function can determine ... another Turing Machine, or invoked independently of any other Turing ... This information is very easy for the UTM to provide, ... looks up the action associated with the state in its state transition ...
    (comp.theory)
  • Re: The proof that I was referring to is on the website
    ... "The last step is the method by which the Halt function can determine ... another Turing Machine, or invoked independently of any other Turing ... This information is very easy for the UTM to provide, ... looks up the action associated with the state in its state transition ...
    (sci.logic)
  • Re: The proof that I was referring to is on the website
    ... : Peter Olcott wrote: ... The Halt function would merely ask the ... This information is very easy for the UTM ... in its state transition matrix table. ...
    (sci.logic)
  • Re: What is the Result from Invoking this Halt Function?
    ... I must have the UTM tell me that it has no other ... its own tape and state transition matrix to directly execute any other ... That there is no UTM state transition out of the halt analyzer's final state ... (the one that write the ONE to the tape). ...
    (comp.theory)
  • Re: What is the Result from Invoking this Halt Function?
    ... I must have the UTM tell me that it has no other ... its own tape and state transition matrix to directly execute any other ... That there is no UTM state transition out of the halt analyzer's final state ... (the one that write the ONE to the tape). ...
    (sci.logic)
Loading