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

Am Mon, 15 Jul 2024 10:52:34 -0500 schrieb 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.

Which state is it that repeats forever? We know that HHH will abort.
What does HHH do with Fred's Finite_Recursion()?

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.

The state is in fact different in some internal decision logic that waits
for a repetition. You know this better than me. Can you point me to
where HHH looks for the stored state that may be repeated?

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

--
Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:
Objectively I am a genius.