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

On 10/8/2024 8:50 AM, Mikko wrote:

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.
 

DDD emulated by each corresponding HHH that can possibly
exist never returns
thus each of the directly executed  HHH emulators that does
return 0 correctly reports the above non-terminating behavior.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer