Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH

Liste des GroupesRevenir à c theory 
Sujet : Re: Sufficient knowledge of C proves that DD specifies non-terminating behavior to HHH
De : acm (at) *nospam* muc.de (Alan Mackenzie)
Groupes : comp.theory
Date : 08. Feb 2025, 13:53:53
Autres entêtes
Organisation : muc.de e.V.
Message-ID : <vo7k51$12q1$1@news.muc.de>
References : 1 2 3 4 5 6 7 8 9 10 11 12
User-Agent : tin/2.6.4-20241224 ("Helmsdale") (FreeBSD/14.2-RELEASE-p1 (amd64))
Fred. Zwarts <F.Zwarts@hetnet.nl> wrote:
Op 08.feb.2025 om 06:53 schreef olcott:

[ .... ]

If so, then it proves the failure of the simulation. The simulation
aborts too soon on unsound grounds, one cycle before the normal
termination of the program.

Hello, Fred.

Welcome back!

--
Alan Mackenzie (Nuremberg, Germany).


Date Sujet#  Auteur
10 Jul 25 o  …

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal