Re: Proving the: Simulating termination analyzer Principle

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