Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: How do simulating termination analyzers work? (V2)
Date: Sat, 21 Jun 2025 09:14:21 -0500
Organization: A noiseless patient Spider
Lines: 52
Message-ID: <1036ent$13pfn$1@dont-email.me>
References: <1034bjk$6kj0$2@dont-email.me> <103608e$10jag$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 21 Jun 2025 16:14:22 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c33a34d5810729869e79acc5a916ae39";
	logging-data="1172983"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/RYV9tYoE6XtX0l/jzWf7D"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:PFUUiSxU08WT9jIlQ1+ZuOuR08E=
Content-Language: en-US
X-Antivirus: Norton (VPS 250621-4, 6/21/2025), Outbound message
In-Reply-To: <103608e$10jag$1@dont-email.me>
X-Antivirus-Status: Clean

On 6/21/2025 5:07 AM, Mikko wrote:
> On 2025-06-20 19:08:36 +0000, olcott said:
> 
>> void Infinite_Recursion()
>> {
>>    Infinite_Recursion();
>>    return;
>> }
>>
>> void Infinite_Loop()
>> {
>>    HERE: goto HERE;
>>    return;
>> }
>>
>> void DDD()
>> {
>>    HHH(DDD);
>>    return;
>> }
>>
>> int Sipser_D()
>> {
>>    if (HHH(Sipser_D) == 1)
>>      return 0;
>>    return 1;
>> }
>>
>> int DD()
>> {
>>    int Halt_Status = HHH(DD);
>>    if (Halt_Status)
>>      HERE: goto HERE;
>>    return Halt_Status;
>> }
>>
>> My claim is that each of the above functions correctly
>> simulated by any termination analyzer HHH that can possibly
>> exist will never stop running unless aborted by HHH.
>>
>> *No one has ever provided a correct rebuttal to that*
>> *In the several years that it has been reviewed*
> 
> When there is V2 on the subject line the message should start with
> a short description of the main difference from the previous version.
> 

Slightly clearer words.

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