Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.lang.c,comp.lang.c++
Subject: Re: How do simulating termination analyzers work? (in C and C++)
Date: Thu, 19 Jun 2025 12:00:07 -0500
Organization: A noiseless patient Spider
Lines: 80
Message-ID: <1031fmn$ddh$1@dont-email.me>
References: <102stfv$2mgvq$1@dont-email.me> <102uk8v$369b2$5@dont-email.me>
 <102uku3$36q7c$1@raubtier-asyl.eternal-september.org>
 <102ve8g$3do4f$1@dont-email.me> <102vgls$3eeuk$1@dont-email.me>
 <103133a$3tdgg$1@raubtier-asyl.eternal-september.org>
 <10317dl$3u901$1@dont-email.me>
 <1031evk$dbb$1@raubtier-asyl.eternal-september.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 19 Jun 2025 19:00:08 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="030154485115acd58dbc4da32e6ee0de";
	logging-data="13745"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/URlkpI4AZMxVLnvRJTvI2"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:2tlGxkTPhh3eMBVRUxY11wDscJs=
X-Antivirus: Norton (VPS 250619-2, 6/19/2025), Outbound message
Content-Language: en-US
In-Reply-To: <1031evk$dbb$1@raubtier-asyl.eternal-september.org>
X-Antivirus-Status: Clean

On 6/19/2025 11:47 AM, Bonita Montero wrote:
> Am 19.06.2025 um 16:38 schrieb olcott:
>> On 6/19/2025 8:25 AM, Bonita Montero wrote:
>>> Am 19.06.2025 um 01:04 schrieb olcott:
>>>
>>>> I don't need any more than the behavior of the posted
>>>> C functions.
>>>
>>> Your question is generic to any language.
>>>
>>
>> *Non-the-less I still need the answer*
>>
>> You could just give me this answer,
>> (its very simple and won't take ten minutes)
>> or as they have done on comp.theory spend three
>> years and thousands of messages dodging the question.
>>
>> 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.
>> Can you affirm or correctly refute this?
>>
>> *No one has ever been able to refute this in three years*
>>
>> *Fully operational code*
>> https://github.com/plolcott/x86utm/blob/master/Halt7.c
> 
> You deal with a simple question for decades.
> That's crazy.

It is a very important simple question, yet the
reason why it is very important is outside of
the scope of this group.

You can spend hundreds of posts saying why you
won't answer the question or one post and ten
minutes answering it.

The people on comp.theory spent thousands of
posts and three years saying why they won't
answer it. That is the *only* reason why I
am here.

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