Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.lang.c
Subject: Re: Proving the: Simulating termination analyzer Principle
Date: Mon, 7 Apr 2025 16:54:20 -0500
Organization: A noiseless patient Spider
Lines: 45
Message-ID: <vt1hid$njvr$2@dont-email.me>
References: <vss56v$375du$2@dont-email.me> <vss91c$3b1no$1@dont-email.me>
 <vssabb$3aqnp$2@dont-email.me> <vssavl$3b2j0$3@dont-email.me>
 <20250405153728.395@kylheku.com> <vsse5t$3gbj1$1@dont-email.me>
 <86tt71fuxh.fsf@linuxsc.com> <vsu73b$1b0t8$1@dont-email.me>
 <86y0wcelxp.fsf@linuxsc.com> <vsvk08$2r125$1@dont-email.me>
 <86ldscdtqw.fsf@linuxsc.com> <87ecy3d6ob.fsf@nosuchdomain.example.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 07 Apr 2025 23:54:21 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="2d6917909145064636ee6fda73401318";
	logging-data="774139"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+hSleKZmvQO/YhaTEjn0HZ"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:hgIT2h5K01QN0Fsx/MBUN5p3ezk=
X-Antivirus: Norton (VPS 250407-4, 4/7/2025), Outbound message
Content-Language: en-US
X-Antivirus-Status: Clean
In-Reply-To: <87ecy3d6ob.fsf@nosuchdomain.example.com>
Bytes: 2866

On 4/7/2025 4:04 PM, Keith Thompson wrote:
> Tim Rentsch <tr.17687@z991.linuxsc.com> writes:
>> olcott <polcott333@gmail.com> writes:
> [82 lines deleted]
>>
>> I'm sorry my comments weren't more helpful for you.
> 
> Tim, *please* trim quoted text that isn't relevant to your followup.
> (And please consider whether olcott is worth any attention at all.)
> 

I am on my last ditch effort to prevent my death from cancer.
I had a CAR T infusion Friday and had to be hospitalized twice
in two days for CRS side-effects. I am currently hospitalized.

https://www.cancer.org/cancer/managing-cancer/treatment-types/immunotherapy/car-t-cell1.html

I cannot get a fair review of the C semantics of my two
C functions on the comp.theory group. I only need a fair
review of the C semantics of HHH(DD).

typedef void (*ptr)();
int HHH(ptr P);

int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}

int main()
{
   HHH(DD);
}

*Simulating termination analyzer Principle*
It is always correct for any simulating termination
analyzer to stop simulating and reject any input that
would otherwise prevent its own termination.

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