Path: news.eternal-september.org!eternal-september.org!raubtier-asyl.eternal-september.org!.POSTED!not-for-mail
From: Bonita Montero <Bonita.Montero@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 19:02:26 +0200
Organization: A noiseless patient Spider
Lines: 79
Message-ID: <1031fqu$kro$1@raubtier-asyl.eternal-september.org>
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>
 <1031fmn$ddh$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 19 Jun 2025 19:02:22 +0200 (CEST)
Injection-Info: raubtier-asyl.eternal-september.org; posting-host="2145aa9d2547b60f0475eb7af0f22622";
	logging-data="21368"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/xHOiHjigd4YRoqUDqLaXlY9B//sJmBH4="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:H8q/7uZxpOv6paU+OSb4iBMtZEQ=
In-Reply-To: <1031fmn$ddh$1@dont-email.me>
Content-Language: de-DE

Am 19.06.2025 um 19:00 schrieb olcott:
> 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.

You need a psychiatrist