Sujet : Re: Can D correctly simulated by H reach its own line 06 and halt?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.lang.c++ comp.lang.cDate : 21. May 2024, 19:09:08
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v2io05$n763$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13
User-Agent : Mozilla Thunderbird
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;
}
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer