Re: The clueless are commenting on SHDs

Liste des GroupesRevenir à theory 
Sujet : Re: The clueless are commenting on SHDs
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 29. May 2025, 08:40:53
Autres entêtes
Organisation : -
Message-ID : <1019325$3oupn$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2025-05-28 18:50:10 +0000, Mr Flibble said:

Halting an SHD due to analysis is NOT the same as the program being
analysed halting.  Infinite recursion detected through analysis (rather
than running out of simulation resources) DOES NOT MEAN HALTING as far as
the program being analysed is concerned, IT MEANS NON-HALTING.
Yes. But the analysis must not detect an infinte recursion where there
is none. That is where Olcott's analyzer (when evaluated as a halting
decider candidate) has a bug.
--
Mikko

Date Sujet#  Auteur
29 May 25 o Re: The clueless are commenting on SHDs1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal