Liste des Groupes |
Am Mon, 15 Jul 2024 16:03:30 -0500 schrieb olcott:*You still have it wrong*.On 7/15/2024 3:58 PM, joes wrote:Well then, which state of HHH would repeat forever?Am Mon, 15 Jul 2024 10:52:34 -0500 schrieb olcott:*It had never been which state DOES repeat forever*On 7/15/2024 9:04 AM, joes wrote:Which state is it that repeats forever?Am Mon, 15 Jul 2024 07:23:57 -0500 schrieb olcott:Because HHH has seen a repeating state that proves that DDD correctlyOn 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:Because it hadn't halted yet?At the point that it is aborted it did need to be abortedAny input that must be aborted to prevent the non termination ofIt's just that the input HHH halts and does not need to be aborted.
simulating termination analyzer HHH necessarily specifies
non-halting behavior or it would never need to be aborted.
emulated by HHH cannot possibly ever stop running unless aborted.
*It has always been which state WOULD repeat forever if not aborted*
--Infinite_Loop() doesn't even repeat forever because it is aborted.By itself it does.
Les messages affichés proviennent d'usenet.