Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: immibis <news@immibis.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: Every D correctly simulated by H never reaches its final state
 and halts
Date: Sat, 18 May 2024 10:56:33 +0200
Organization: A noiseless patient Spider
Lines: 25
Message-ID: <v29qg1$2n2pf$4@dont-email.me>
References: <v26b2t$1rdu0$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 18 May 2024 10:56:33 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="129ff628fc232994dee2adf5d3d62da7";
	logging-data="2853679"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/Sh1CS4Csj7/HD56NwgmIr"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:XiBvP174+NLH0GZzvQ+eLpylXLw=
Content-Language: en-US
In-Reply-To: <v26b2t$1rdu0$1@dont-email.me>
Bytes: 1714

On 17/05/24 03:15, olcott wrote:
> The following is self-evidently true on the basis of the
> semantics of the C programming language.
> 
> typedef int (*ptr)();  // ptr is pointer to int function
> 00 int H(ptr x, ptr x);
> 01 int D(ptr x)
> 02 {
> 03   int Halt_Status = H(x, x);
> 04   if (Halt_Status)
> 05     HERE: goto HERE;
> 06   return Halt_Status;
> 07 }
> 08
> 09 int main()
> 10 {
> 11   H(D,D);
> 12   return 0;
> 13 }
> 
> In the above case a simulator is an x86 emulator that correctly > emulates at least one of the x86 instructions of D in the order
> specified by the x86 instructions of D.

I don't see any simulator in the above case.