Re: D correctly simulated by pure function H remains stuck in recursive simulation s

Am 22.05.2024 um 21:57 schrieb olcott:

On 5/22/2024 11:31 AM, Bonita Montero wrote:

Am 22.05.2024 um 15:57 schrieb olcott:

Because D correctly simulated by pure function H remains stuck in
recursive simulation simulating termination analyzer H is correct
to report that D does not halt.
>
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       }
>
It is trivial to see that for every H/D pair of the infinite
set of H/D pairs that match the above template that
>
D correctly simulated by H cannot possibly reach its own final
state at line 06 and halt because D correctly simulated by
H remains stuck in recursive simulation.
>
This provides the basis for simulating termination analyzer H to
correctly determine that the halting problem's counter-example
input D cannot possibly halt.
>

>
Ok, then every question is answered and we could proceed to
"sth. completely different" (Monty Python).
>

 *No this question has never been answered in this forum*
 

Because this question is about C++ and not theoretical computer
sciences. And even if you'd get an answer: you wouldn't recoginze
it because you're unable to see that you're asking nonsense.