Sujet : Re: Proof that DDD specifies non-halting behavior --- point by point
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 14. Aug 2024, 09:17:10
Autres entêtes
Organisation : -
Message-ID : <v9hp66$ck4s$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2024-08-14 00:52:36 +0000, olcott said:
void DDD()
{
HHH(DDD);
return;
}
In order to prove that the above specifies a non-halting behavour
you must prove that HHH(DDD) does not terminate.
-- Mikko
…