Liste des Groupes | Revenir à theory |
On 7/15/2024 3:23 AM, Mikko wrote:On 2024-07-14 14:38:31 +0000, olcott said:On 7/14/2024 3:09 AM, Mikko wrote:On 2024-07-13 20:15:56 +0000, olcott said:
Only if it does not terminate by itself.Weasel words. This is an axiom:*You can comprehend this is a truism or fail to* *comprehend itint main()Everyone understands that DDD specifies a halting behaviour if
{
HHH(Infinite_Loop); HHH(Infinite_Recursion);
HHH(DDD);
}
Any input that must be aborted to prevent the non termination of HHH
necessarily specifies non-halting behavior or it would never need to
be aborted.
HHH(DDD) does,
disagreement is necessarily incorrect* Any input that must be aborted
to prevent the non termination of HHH necessarily specifies
non-halting behavior or it would never need to be aborted.
That the input is aborted does not mean that the input must be aborted.
Input XXX must be aborted to prevent the non-termination of HHH.
And if the input specifies that its input is aborted then the behaviour
is not non-terminating.
Les messages affichés proviennent d'usenet.