Liste des Groupes | Revenir à c theory |
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:
Because it hadn't halted yet? Why should it have halted, it will do soAt 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.
Les messages affichés proviennent d'usenet.