Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Richard Heathfield <rjh@cpax.org.uk>
Newsgroups: comp.theory
Subject: Re: How do computations actually work?
Date: Sun, 25 May 2025 13:07:41 +0100
Organization: Fix this later
Lines: 18
Message-ID: <100v16e$1bv7r$1@dont-email.me>
References: <Ms4XP.801347$BFJ.668081@fx13.ams4>
 <95db078e80b2868ed15a9a9a2af0280d96234a3a@i2pn2.org>
 <100jo18$2mhfd$1@dont-email.me> <100jpv9$2m0ln$4@dont-email.me>
 <100kt0c$2tae8$3@dont-email.me> <100ktr7$2reaa$1@dont-email.me>
 <100l09v$2tae8$5@dont-email.me> <100l1ov$2ul3j$1@dont-email.me>
 <100l3jh$2v0e9$1@dont-email.me> <100l5c8$2ul3j$2@dont-email.me>
 <100l75g$2vpq3$1@dont-email.me> <100l887$2ul3i$2@dont-email.me>
 <100l9gh$30aak$1@dont-email.me> <100lc4o$30pgm$1@dont-email.me>
 <100ld1u$312c9$1@dont-email.me> <100lg4g$31jt3$1@dont-email.me>
 <100lkdv$32ib3$1@dont-email.me> <100lmif$32v06$1@dont-email.me>
 <100lmp3$32ven$1@dont-email.me> <100m319$38k55$2@dont-email.me>
 <87jz69xlpx.fsf@nosuchdomain.example.com> <100mder$39slu$2@dont-email.me>
 <100oipb$3oge1$1@dont-email.me> <100onkd$3t5cb$1@dont-email.me>
 <100rti1$jfld$1@dont-email.me> <100so11$p071$5@dont-email.me>
 <100un10$1a22r$1@dont-email.me> <100uogc$19of2$1@dont-email.me>
 <afb85591e2af85d547242695916de0b6b0d49c18@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 25 May 2025 14:07:42 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8173f19145103307550a8810582365fa";
	logging-data="1441019"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19m2sPFsIGGYHsziUb/tRrhmwhvFOym12YQB0rzgwTuVQ=="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:RRSHcjUai3CJYDlobDNWjV9T4MA=
In-Reply-To: <afb85591e2af85d547242695916de0b6b0d49c18@i2pn2.org>
Content-Language: en-GB

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 Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within