Sujet : Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 15. Jul 2024, 15:04:48
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <056325e336f81a50f4fb9e60f90934eaac823d22@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
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? 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.
…