Liste des Groupes | Revenir à c theory |
On 6/8/2025 10:31 PM, Keith Thompson wrote:olcott <polcott333@gmail.com> writes:>void DDD()Do not imply that I support your claims.
{
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*
I am not implying anything. I am directly stating
that you have agreed that when DDD is correctly simulated
by HHH that it cannot possibly reach its own simulated
"return" instruction and terminate normally.
Les messages affichés proviennent d'usenet.