Sujet : Re: Everyone on this forum besides Keith has been a damned liar about this point
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 10. Jun 2025, 13:01:16
Autres entêtes
Organisation : -
Message-ID : <10296qc$17rpl$1@dont-email.me>
References : 1 2 3
User-Agent : Unison/2.2
On 2025-06-09 14:46:30 +0000, olcott said:
On 6/9/2025 6:24 AM, Richard Damon wrote:
On 6/8/25 10:50 PM, olcott wrote:
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*
So, you think a partial simulation defines behavior?
Where do you get that LIE from?
void Infinite_Recursion()
{
Infinite_Recursion();
}
void Infinite_Loop()
{
HERE: goto HERE;
return;
}
I am no so stupid that I require a complete
simulation of a non-terminating input.
Yes you are. You just express your stupidity in another way.
-- Mikko