Sujet : Re: DDD correctly emulated by HHH is correctly rejected as non-halting.
De : acm (at) *nospam* muc.de (Alan Mackenzie)
Groupes : comp.theory sci.logicSuivi-à : comp.theoryDate : 10. Jul 2024, 19:12:08
Autres entêtes
Organisation : muc.de e.V.
Message-ID : <v6mito$bbr$1@news.muc.de>
References : 1 2
User-Agent : tin/2.6.3-20231224 ("Banff") (FreeBSD/14.0-RELEASE-p5 (amd64))
[ Followup-To: set ]
In comp.theory Fred. Zwarts <
F.Zwarts@hetnet.nl> wrote:
[ .... ]
Proving that the simulation is incorrect. Because a correct simulation
would not abort a halting program halfway its simulation.
Just for clarity, a correct simulation wouldn't abort a non-halting
program either, would it? Or have I misunderstood this correctness?
[ .... ]
-- Alan Mackenzie (Nuremberg, Germany).
…