Sujet : Re: Simulating Termination Analyzer HHH(DDD) rejects input DDD
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 08. Oct 2024, 14:50:52
Autres entêtes
Organisation : -
Message-ID : <ve3dbs$274jb$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2024-10-07 20:29:33 +0000, olcott said:
*Simulating Termination Analyzer HHH(DDD) rejects input DDD*
HHH is an emulating termination analyzer that takes the machine
address of DDD as input then emulates the x86 machine language
of DDD until a non-terminating behavior pattern is recognized.
*HHH recognizes this pattern when HHH emulates itself emulating DDD*
void DDD()
{
HHH(DDD);
return;
}
The above code shows that if HHH(DDD) rejects then DDD halts, which
means that no program that rejects DDD is a halting decider.
-- Mikko
…