Re: Simulating Termination Analyzer HHH(DDD) rejects input DDD

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