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

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*