Re: Can D correctly simulated by H reach its own line 06 and halt?

On 5/21/2024 6:54 PM, Chris M. Thomasson wrote:

On 5/21/2024 4:07 PM, olcott wrote:
[...]

It is essentially trivial to see that D correctly simulated by H
cannot possibly reach its own final state at line 06 because
D correctly simulated by H remains stuck in recursive simulation.

 Ummmm. What is your point? You mean that:
 _______________
#include <stdio.h>
 unsigned int
foobar(unsigned int a)
{
    return foobar(a + 1);
}
 int main(void) {
     unsigned int a = 0;
      unsigned int b = foobar(a);
      printf("ROFL!!!\n");
      return 0;
}
_______________
 will never return to the original caller (main) and never be able to execute the printf? Well, so damn what!?! You need thousands of lines of code to show that? Ummmm.... I still must be missing something here... ;^o
 

>
*That <is> the complete essence of my thousands of lines of code*
*That <is> the complete essence of my thousands of lines of code*
*That <is> the complete essence of my thousands of lines of code*
>

 

The key difference is that I figured out that a simulating
termination analyzer H provides the basis to correctly determine
that the halting problem counter-example input D cannot possibly
reach its own final state and halt.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer