Re: Can any pathological input thwart a simulating abort decider?

On 3/22/2024 3:34 PM, immibis wrote:

On 22/03/24 20:47, olcott wrote:

On 3/22/2024 2:44 PM, immibis wrote:

On 22/03/24 19:41, olcott wrote:

01 int D(ptr x)  // ptr is pointer to int function
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 void main()
10 {
11   H(D,D);
12 }

>
Incomplete program. When you run it, it prints "Error: Undefined function H" and then halts.
>

>
That you ignore what I say seems far too Trollish
https://github.com/plolcott/x86utm/blob/master/Halt7.c

 That's a different program that cannot be translated to a Turing machine.

If a counter-example exists for abort decider H in C then it
exists for TM H. Only the C version can show every single detail.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer