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: Wed, 18 Jun 2025 13:57:40 +0200
Organization: A noiseless patient Spider
Lines: 57
Message-ID: <102u9ji$33vqu$1@raubtier-asyl.eternal-september.org>
References: <102stfv$2mgvq$1@dont-email.me>
 <102t9f0$2sp03$1@raubtier-asyl.eternal-september.org>
 <102tdtb$2tjrk$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 18 Jun 2025 13:57:39 +0200 (CEST)
Injection-Info: raubtier-asyl.eternal-september.org; posting-host="ec802efda62b2c5459d699f2814e4c5b";
	logging-data="3276638"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19prva1UbMgVHcs/lV0OoV76U6uqPjGwjk="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:9JYKBViYNQB1/ELUcm4Xo00uluI=
Content-Language: de-DE
In-Reply-To: <102tdtb$2tjrk$1@dont-email.me>

Am 18.06.2025 um 06:04 schrieb olcott:
> On 6/17/2025 9:49 PM, Bonita Montero wrote:
>> Am 18.06.2025 um 01:24 schrieb olcott:
>>> void Infinite_Recursion()
>>> {
>>>    Infinite_Recursion();
>>>    return;
>>>   }
>>>
>>> void Infinite_Loop()
>>>   {
>>>    HERE: goto HERE;
>>>    return;
>>>   }
>>>
>>> void DDD()
>>>   {
>>>    HHH(DDD);
>>>    return;
>>>   }
>>>
>>> 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.
>>> (recursive simulation is similar to infinite recursion).
>>>
>>> The same thing equally applies to these two, yet they may
>>> be  too difficult for a first year CS student.
>>>
>>> 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;
>>>   }
>>>
>>> *Fully operational code*
>>> https://github.com/plolcott/x86utm/blob/master/Halt7.c
>>>
>>
>> Youre off-topic. That's not comp.theory here.
>>

> I am *ONLY* talking about the C/C++ programming
> aspects of this. ..

Absolutely not, that's generic to any language.