Re: Proving the: Simulating termination analyzer Principle

On 4/8/2025 12:52 PM, Tim Rentsch wrote:

Keith Thompson <Keith.S.Thompson+u@gmail.com> writes:
 

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.

 I routinely remove or summarize prior text that I feel is not
relevant to what I have to say.
 

Merely a scheme to dishonestly dodge the actual topic:
The behavior of DD correctly simulated by HHH.
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);
}

Please allow me the courtesy of determining for myself which
prior material is or is not relevant, and which prior material
should be removed, and which prior material should be summarized.

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