Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.lang.c++,comp.lang.c
Subject: Re: D correctly simulated by pure function H remains stuck in
 recursive simulation s
Date: Wed, 22 May 2024 14:57:44 -0500
Organization: A noiseless patient Spider
Lines: 44
Message-ID: <v2lino$1b4kp$2@dont-email.me>
References: <v2ktl4$16qp5$3@dont-email.me>
 <v2l6kj$18q32$2@raubtier-asyl.eternal-september.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 22 May 2024 21:57:45 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9557ecc38a2c6e613b1947df9dd7fc56";
	logging-data="1413785"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX186m5Hj1BT373JRS/TmlnSn"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:vltEYgD8HJAnSO6wbDdpIZNDTUc=
In-Reply-To: <v2l6kj$18q32$2@raubtier-asyl.eternal-september.org>
Content-Language: en-US
Bytes: 2693

On 5/22/2024 11:31 AM, Bonita Montero wrote:
> Am 22.05.2024 um 15:57 schrieb olcott:
>> Because D correctly simulated by pure function H remains stuck in
>> recursive simulation simulating termination analyzer H is correct
>> to report that D does not halt.
>>
>> typedef int (*ptr)();  // ptr is pointer to int function in C
>> 00       int H(ptr p, ptr i);
>> 01       int D(ptr p)
>> 02       {
>> 03         int Halt_Status = H(p, p);
>> 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       }
>>
>> It is trivial to see that for every H/D pair of the infinite
>> set of H/D pairs that match the above template that
>>
>> D correctly simulated by H cannot possibly reach its own final
>> state at line 06 and halt because D correctly simulated by
>> H remains stuck in recursive simulation.
>>
>> This provides the basis for simulating termination analyzer H to
>> correctly determine that the halting problem's counter-example
>> input D cannot possibly halt.
>>
> 
> Ok, then every question is answered and we could proceed to
> "sth. completely different" (Monty Python).
> 

*No this question has never been answered in this forum*

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer