Re: Proving the: Simulating termination analyzer Principle

On 4/5/2025 4:52 PM, olcott wrote:

*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;
}

Except when doing so would change the input, as is the case with HHH and DDD.
Changing the input is not allowed.