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

On 5/22/2024 3:09 PM, Bonita Montero wrote:

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.
 

One person took thirty seconds to answer the question.
If you want to post hundreds and hundreds of messages
saying that you don't want to spend 30 seconds to answer
the question feel free.
I only need three correct answers from three people and
the question is sufficiently answered and I am back out
of here.
I was thinking about offering a $10 cash reward for the
first person that finds a valid counter-example.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer