Proving the: Simulating termination analyzer Principle

*Simulating termination analyzer Principle*
It is always correct for any simulating termination
analyzer to stop simulating and reject any input that
would otherwise prevent its own termination.
void DDD()
{
    HHH(DDD);
    return;
}
Anyone knowing the C programming language knows
that DDD simulated by HHH by any correct pure
simulator would prevent HHH from terminating.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer