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

On 5/21/2024 1:01 PM, Bonita Montero wrote:

Am 21.05.2024 um 16:09 schrieb olcott:
>

I am only asking the c experts here whether or not D correctly
simulated by *pure function* H can possibly reach its own line
06 and halt for every H/D pair matching the template provided.

>
Saying this is a question about C is like questioning something
about physics in Polish and claiming this is a question about
Polish.

 I am convinced that the question can be fully answered entirely on the
basis of the semantics of C in the exact same way that the termination
status of the following functions can be answered entirely on the basis
of sufficient knowledge of the semantics of c.
 *If you believe otherwise then I ask for you to please justify this*
 void Infinite_Recursion()
{
   Infinite_Recursion();
}
 int factorial(int n) // called with 5
{
   if (n >= 1)
     return n*factorial(n-1);
   else
     return 1;
}
 void Infinite_Loop()
{
   HERE: goto HERE;
}