Sujet : Re: Everyone on this forum besides Keith has been a damned liar about this point
De : Keith.S.Thompson+u (at) *nospam* gmail.com (Keith Thompson)
Groupes : comp.theory sci.logic comp.ai.philosophySuivi-à : comp.theoryDate : 09. Jun 2025, 04:31:24
Autres entêtes
Organisation : None to speak of
Message-ID : <87h60pioab.fsf@nosuchdomain.example.com>
References : 1
User-Agent : Gnus/5.13 (Gnus v5.13)
olcott <
polcott333@gmail.com> writes:
void DDD()
{
HHH(DDD);
return;
}
>
The *input* to simulating termination analyzer HHH(DDD)
specifies recursive simulation that can never reach its
*simulated "return" instruction final halt state*
>
*Every rebuttal to this changes the words*
Do not imply that I support your claims.
-- Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.comvoid Void(void) { Void(); } /* The recursive call of the void */