Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2

Op 15.jul.2024 om 17:52 schreef olcott:

On 7/15/2024 9:04 AM, joes wrote:

Am Mon, 15 Jul 2024 07:23:57 -0500 schrieb olcott:

On 7/15/2024 3:59 AM, joes wrote:

Am Sun, 14 Jul 2024 22:35:03 -0500 schrieb olcott:

On 7/14/2024 10:02 PM, Mike Terry wrote:

>

Any input that must be aborted to prevent the non termination of
simulating termination analyzer HHH necessarily specifies non-halting
behavior or it would never need to be aborted.

It's just that the input HHH halts and does not need to be aborted.

At the point that it is aborted it did need to be aborted

Because it hadn't halted yet?

 Because HHH has seen a repeating state that proves that DDD
correctly emulated by HHH cannot possibly ever stop running
unless aborted.

A repeated state is not an infinitely repeated state. The problem is that HHH does not keep track of the full state, so it thinks that the same state was repeated, but it is not the exact same state.
void Finite_Recursion (int N) {
   if (N > 0) Finite_Recursion (N - 1);
}
HHH decides after N recursions that there is an infinite recursion, which is incorrect.
This is exactly what makes this simulation incorrect.

 That you fail to understand a that there is a repeating state
or fail to understand that a repeating state proves this is
less than no rebuttal at all.

You fail to see that not every recursion is an infinite recursion.

 

Why should it have halted, it will do so
in the future. Do you place arbitrary lifetime limits on all programs?
>