Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?

Op 23.mei.2024 om 18:52 schreef olcott:
>

typedef int (*ptr)(); // ptr is pointer to int function in C
00 int H(ptr p, ptr i);
01 int D(ptr p)
02 {
03 int Halt_Status = H(p, p);
04 if (Halt_Status)
05 HERE: goto HERE;
06 return Halt_Status;
07 }
08
09 int main()
10 {
11 H(D,D);
12 return 0;
13 }
>
The above template [...]

>
Olcott's own words are that the simulation of D [...]