On 4/17/25 2:23 PM, olcott wrote:

On 4/17/2025 10:44 AM, Bonita Montero wrote:

Am 17.04.2025 um 17:38 schrieb olcott:

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);
}

DD simulated by HHH includes HHH simulating itself
simulating DD until HHH sees the non-terminating
pattern and rejects DD as non-terminating.

What you do is like thinking in circles before falling asleep.

That is an incorrect assessment of the behavior of
DD simulated by HHH that includes HHH simulating itself
simulating DD.

But that isn't what this input describes either with or without your
Halt7.c, all you are proving is you are a liar that doesn't know what he
is talking about,

I am here at comp.lang.c because the all of the people on
comp.theory continue to flat out lie about this behavior
for three solid years. comp.lang.c may have trolls, yet
seem to have no liars.

But it isn't a lie, as either DD has explicitly undefined behavior by
tyhe omition of the definiton of HHH, or your description is incorrect,
as that isn't the behavior of HHH in that file.

Yes, you can make a different HHH that does that, but then it fails to
answer and still isn't your claimed counter example.

All you are doing is proving that you think it is ok to just lie about
things.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)