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 : 31. May 2025, 09:54:49
Autres entêtes
Organisation : -
Message-ID : <101eg4p$11kuk$1@dont-email.me>
References : 1 2 3
User-Agent : Unison/2.2
On 2025-05-29 16:30:17 +0000, Mr Flibble said:

On Wed, 28 May 2025 21:28:57 -0400, Richard Damon wrote:
 
On 5/28/25 2:50 PM, Mr Flibble wrote:
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.
 /Flibble
 And what makes it different?
 Remember. Halting is about the actual behavior of the program that was
being analysize. That running doesn't have the SHD "aborted", as nothing
is looking at it, it is just running.
 You have the same error as PO, that you are confusing the actual running
of the program, with the partial simulation done by its decider.
 The only person fucking confused is you, mate.
Godd to hear as that means that I am not confused.
Anyway, it is impotrant to clear when you are talking about a real
excution, when about a simulation of a real execution, when about
a simulation of  a simulation, and when about someting else. For
example, when one of them is aborted then the others are not.
--
Mikko

Date Sujet#  Auteur
29 May 25 * Re: The clueless are commenting on SHDs14Richard Damon
29 May 25 +* Re: The clueless are commenting on SHDs3olcott
30 May 25 i+- Re: The clueless are commenting on SHDs1Richard Damon
31 May 25 i`- Re: The clueless are commenting on SHDs1Mikko
29 May 25 +* Re: The clueless are commenting on SHDs8Alan Mackenzie
29 May 25 i`* Re: The clueless are commenting on SHDs --- tautologies7olcott
30 May 25 i `* Re: The clueless are commenting on SHDs --- tautologies6olcott
30 May 25 i  +* Re: The clueless are commenting on SHDs --- tautologies4dbush
30 May 25 i  i`* Re: The clueless are commenting on SHDs --- tautologies3olcott
30 May 25 i  i +- Re: The clueless are commenting on SHDs --- tautologies1dbush
30 May 25 i  i `- Re: The clueless are commenting on SHDs --- tautologies1Richard Damon
30 May 25 i  `- Re: The clueless are commenting on SHDs --- tautologies1Richard Damon
30 May 25 +- Re: The clueless are commenting on SHDs1Richard Damon
31 May 25 `- Re: The clueless are commenting on SHDs1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal