Re: Every D(D) simulated by H presents non-halting behavior to H

On 2024-05-05 17:02:25 +0000, olcott said:

The x86utm operating system: https://github.com/plolcott/x86utm enables
one C function to execute another C function in debug step mode.
Simulating Termination analyzer H simulates the x86 machine code of its
input (using libx86emu) in debug step mode until it correctly matches a
correct non-halting behavior pattern proving that its input will never
stop running unless aborted.
 Can D correctly simulated by H terminate normally?
00 int H(ptr x, ptr x)  // ptr is pointer to int function
01 int D(ptr x)
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 int main()
10 {
11   H(D,D);
12 }
 *Execution Trace*
Line 11: main() invokes H(D,D);
 *keeps repeating* (unless aborted)
Line 03: simulated D(D) invokes simulated H(D,D) that simulates D(D)
 *Simulation invariant*
D correctly simulated by H cannot possibly reach past its own line 03.
 The above execution trace proves that (for every H/D pair of the
infinite set of H/D pairs) each D(D) simulated by the H that this D(D)
calls cannot possibly reach past its own line 03.

When you say "every H/D pair" you should specify which set of pairs
you are talking about. As you don't, your words don't mean anything.
--
Mikko