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?
Date: Wed, 18 Jun 2025 09:50:18 -0500
Organization: A noiseless patient Spider
Lines: 35
Message-ID: <102ujna$369b2$4@dont-email.me>
References: <102sjg5$2k3e9$1@dont-email.me>
 <1607e7860c899b930b87d371c747708dbeaf1062@i2pn2.org>
 <102t67r$2o80a$1@dont-email.me> <102u3et$31q0g$4@dont-email.me>
 <102ufv8$35emj$1@dont-email.me>
 <dc7254ded3893833b22f666b467c70c5b5832ef9@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 18 Jun 2025 16:50:19 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="181068feba52be991947ff9f62d7131d";
	logging-data="3351906"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18+Lf6gX+CMy5uQj10fir7C"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:PvqlHMw5kLxOS9WqzVuOU+q2VzE=
Content-Language: en-US
X-Antivirus: Norton (VPS 250618-4, 6/18/2025), Outbound message
In-Reply-To: <dc7254ded3893833b22f666b467c70c5b5832ef9@i2pn2.org>
X-Antivirus-Status: Clean

On 6/18/2025 9:05 AM, joes wrote:
> Am Wed, 18 Jun 2025 08:46:16 -0500 schrieb olcott:
>> On 6/18/2025 5:12 AM, Fred. Zwarts wrote:
>>> Op 18.jun.2025 om 03:54 schreef olcott:
>>>> On 6/17/2025 8:19 PM, Richard Damon wrote:
>>>>> On 6/17/25 4:34 PM, olcott wrote:
> 
>>>>>> When it is understood that HHH does simulate itself simulating DDD
>>>>>> then any first year CS student knows that when each of the above are
>>>>>> correctly simulated by HHH that none of them ever stop running
>>>>>> unless aborted.
>>>>>
>>>>> WHich means that the code for HHH is part of the input, and thus
>>>>> there is just ONE HHH in existance at this time.
>>>>> Since that code aborts its simulation to return the answer that you
>>>>> claim, you are just lying that it did a correct simulation (which in
>>>>> this context means complete)
>>>>>
>>>> *none of them ever stop running unless aborted*
>>>
>>> All of them do abort and their simulation does not need an abort.
>>>
>> *It is not given that any of them abort*
> Huh? They contain the code to abort, even if it is not simulated.
> 

*none of them ever stop running unless aborted* yes or no?

The favorite fake rebuttal of changing the subject
will not be tolerated.


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