Sujet : Re: How do computations actually work?
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theoryDate : 25. May 2025, 13:07:41
Autres entêtes
Organisation : Fix this later
Message-ID : <100v16e$1bv7r$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
User-Agent : Mozilla Thunderbird
On 25/05/2025 12:44, Richard Damon wrote:
<snip>
> With Halt Deciders, and other
"Program Deciders", the input to the decider is a single string which represents both the program and its input string. In this case both are generally given name.
So you put the program and the input on the same tape. Sounds like a somewhat profligate use of tape, but okay, it does resolve the ambiguity.
-- Richard HeathfieldEmail: rjh at cpax dot org dot uk"Usenet is a strange place" - dmr 29 July 1999Sig line 4 vacant - apply within