Re: Simulating termination analyzers by dummies --- What does halting mean?

Liste des GroupesRevenir à theory 
Sujet : Re: Simulating termination analyzers by dummies --- What does halting mean?
De : noreply (at) *nospam* example.com (joes)
Groupes : comp.theory sci.logic
Date : 19. Jun 2024, 18:32:30
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v4v4ne$fhqs$6@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
Am Wed, 19 Jun 2024 12:16:28 -0500 schrieb olcott:
On 6/19/2024 11:43 AM, joes wrote:
Am Wed, 19 Jun 2024 09:23:04 -0500 schrieb olcott:
On 6/19/2024 6:30 AM, Richard Damon wrote:
On 6/18/24 10:51 PM, olcott wrote:

Right, a CORRECT simulation is one that produces the same result as
the original.
No. A correctly simulation is when each machine language instruction
of the input is correctly simulated and simulated in the correct
order.
And completely.
*WRONG*
[blah blah Sipser]
Oh, a simulator can just say "lemme stop your infinite loop"?
Your H is unable to produce identical behaviour.

--
joes

Date Sujet#  Auteur
17 Jun 24 * Simulating termination analyzers for dummies169olcott
17 Jun 24 +* Re: Simulating termination analyzers for dummies158Fred. Zwarts
17 Jun 24 i`* Re: Simulating termination analyzers for dummies157olcott
17 Jun 24 i +* Re: Simulating termination analyzers for dummies50Fred. Zwarts
17 Jun 24 i i`* Re: Simulating termination analyzers for dummies49olcott
17 Jun 24 i i `* Re: Simulating termination analyzers for dummies48Fred. Zwarts
17 Jun 24 i i  `* Re: Simulating termination analyzers for dummies47olcott
17 Jun 24 i i   `* Re: Simulating termination analyzers for dummies46Fred. Zwarts
17 Jun 24 i i    `* Re: Simulating termination analyzers for dummies45olcott
18 Jun 24 i i     `* Re: Simulating termination analyzers for dummies44Fred. Zwarts
18 Jun 24 i i      `* Re: Simulating termination analyzers for dummies43olcott
18 Jun 24 i i       +* Re: Simulating termination analyzers for dummies3Python
18 Jun 24 i i       i`* Re: Simulating termination analyzers for dummies2olcott
19 Jun 24 i i       i `- Re: Simulating termination analyzers for dummies1Richard Damon
18 Jun 24 i i       +* Re: Simulating termination analyzers for dummies38Fred. Zwarts
18 Jun 24 i i       i`* Re: Simulating termination analyzers for dummies37olcott
18 Jun 24 i i       i +* Re: Simulating termination analyzers for dummies33Fred. Zwarts
18 Jun 24 i i       i i`* Re: Simulating termination analyzers for dummies32olcott
18 Jun 24 i i       i i +* Re: Simulating termination analyzers for dummies2Python
18 Jun 24 i i       i i i`- Re: Simulating termination analyzers for dummies1olcott
19 Jun 24 i i       i i `* Re: Simulating termination analyzers for dummies29Fred. Zwarts
19 Jun 24 i i       i i  `* Re: Simulating termination analyzers for dummies28olcott
19 Jun 24 i i       i i   +* Re: Simulating termination analyzers for dummies5Fred. Zwarts
19 Jun 24 i i       i i   i`* Re: Simulating termination analyzers for dummies4olcott
19 Jun 24 i i       i i   i `* Re: Simulating termination analyzers for dummies3Fred. Zwarts
19 Jun 24 i i       i i   i  `* Re: Simulating termination analyzers for dummies2olcott
20 Jun 24 i i       i i   i   `- Re: Simulating termination analyzers for dummies1Fred. Zwarts
20 Jun 24 i i       i i   +* Re: Simulating termination analyzers for dummies16Richard Damon
20 Jun 24 i i       i i   i`* Re: Simulating termination analyzers for dummies15olcott
20 Jun 24 i i       i i   i `* Re: Simulating termination analyzers for dummies14Richard Damon
20 Jun 24 i i       i i   i  `* Re: Simulating termination analyzers for dummies13olcott
20 Jun 24 i i       i i   i   `* Re: Simulating termination analyzers for dummies12Richard Damon
20 Jun 24 i i       i i   i    `* Re: Simulating termination analyzers for dummies11olcott
20 Jun 24 i i       i i   i     +* Re: Simulating termination analyzers for dummies3Richard Damon
20 Jun 24 i i       i i   i     i`* Re: Simulating termination analyzers for dummies2olcott
21 Jun 24 i i       i i   i     i `- Re: Simulating termination analyzers for dummies1Richard Damon
21 Jun 24 i i       i i   i     `* Re: Simulating termination analyzers for dummies7joes
21 Jun 24 i i       i i   i      `* Re: Simulating termination analyzers for dummies6olcott
21 Jun 24 i i       i i   i       +* Re: Simulating termination analyzers for dummies2joes
21 Jun 24 i i       i i   i       i`- Re: Simulating termination analyzers for dummies1olcott
21 Jun 24 i i       i i   i       `* Re: Simulating termination analyzers for dummies3Richard Damon
21 Jun 24 i i       i i   i        `* Re: Simulating termination analyzers for dummies2olcott
21 Jun 24 i i       i i   i         `- Re: Simulating termination analyzers for dummies1Richard Damon
20 Jun 24 i i       i i   `* Re: Simulating termination analyzers for dummies6Mikko
20 Jun 24 i i       i i    `* Re: Simulating termination analyzers for dummies5olcott
20 Jun 24 i i       i i     +- Re: Simulating termination analyzers for dummies1Richard Damon
20 Jun 24 i i       i i     `* Re: Simulating termination analyzers for dummies3Mikko
20 Jun 24 i i       i i      `* Re: Simulating termination analyzers for dummies2olcott
21 Jun 24 i i       i i       `- Re: Simulating termination analyzers for dummies1Richard Damon
18 Jun 24 i i       i +* Re: Simulating termination analyzers for dummies2Python
18 Jun 24 i i       i i`- Re: Simulating termination analyzers for dummies1olcott
19 Jun 24 i i       i `- Re: Simulating termination analyzers for dummies1Richard Damon
19 Jun 24 i i       `- Re: Simulating termination analyzers for dummies1Richard Damon
18 Jun 24 i `* Re: Simulating termination analyzers for dummies106Richard Damon
18 Jun 24 i  `* Re: Simulating termination analyzers for dummies105olcott
18 Jun 24 i   `* Re: Simulating termination analyzers for dummies104Richard Damon
18 Jun 24 i    `* Re: Simulating termination analyzers for dummies103olcott
18 Jun 24 i     `* Re: Simulating termination analyzers for dummies102Richard Damon
18 Jun 24 i      `* Re: Simulating termination analyzers for dummies101olcott
18 Jun 24 i       `* Re: Simulating termination analyzers for dummies100Richard Damon
18 Jun 24 i        `* Re: Simulating termination analyzers for dummies99olcott
18 Jun 24 i         `* Re: Simulating termination analyzers for dummies98Richard Damon
18 Jun 24 i          `* Re: Simulating termination analyzers for dummies97olcott
18 Jun 24 i           +* Re: Simulating termination analyzers for dummies95Richard Damon
18 Jun 24 i           i`* Re: Simulating termination analyzers for dummies94olcott
18 Jun 24 i           i +* Re: Simulating termination analyzers by dummies92joes
18 Jun 24 i           i i`* Re: Simulating termination analyzers by dummies --- What does halting mean?91olcott
18 Jun 24 i           i i +* Re: Simulating termination analyzers by dummies --- What does halting mean?47joes
18 Jun 24 i           i i i+* Re: Simulating termination analyzers by dummies --- What does halting mean?5olcott
18 Jun 24 i           i i ii`* Re: Simulating termination analyzers by dummies --- What does halting mean?4joes
18 Jun 24 i           i i ii `* Re: Simulating termination analyzers by dummies --- What does halting mean?3olcott
19 Jun 24 i           i i ii  `* Re: Simulating termination analyzers by dummies --- What does halting mean?2joes
19 Jun 24 i           i i ii   `- Re: Simulating termination analyzers by dummies --- test of dishonesty1olcott
18 Jun 24 i           i i i`* Re: Simulating termination analyzers by dummies --- What does halting mean?41olcott
18 Jun 24 i           i i i `* Re: Simulating termination analyzers by dummies --- What does halting mean?40Alan Mackenzie
18 Jun 24 i           i i i  `* Re: Simulating termination analyzers by dummies --- What does halting mean?39olcott
19 Jun 24 i           i i i   `* Re: Simulating termination analyzers by dummies --- What does halting mean?38Alan Mackenzie
19 Jun 24 i           i i i    `* Re: Simulating termination analyzers by dummies --- What does halting mean?37olcott
19 Jun 24 i           i i i     +* Re: Simulating termination analyzers by dummies --- What does halting mean?5joes
19 Jun 24 i           i i i     i`* Re: Simulating termination analyzers by dummies --- The only reply until addressed4olcott
19 Jun 24 i           i i i     i `* Re: Simulating termination analyzers by dummies --- addressed3joes
19 Jun 24 i           i i i     i  `* Re: Simulating termination analyzers by dummies --- --- the only reply until FULLY addressed2olcott
20 Jun 24 i           i i i     i   `- Re: Simulating termination analyzers by dummies --- --- the only reply until FULLY addressed1joes
20 Jun 24 i           i i i     `* Re: Simulating termination analyzers by dummies --- What does halting mean?31Mikko
20 Jun 24 i           i i i      `* Re: Simulating termination analyzers by dummies --- What does halting mean?30olcott
20 Jun 24 i           i i i       `* Re: Simulating termination analyzers by dummies --- What does halting mean?29Mikko
20 Jun 24 i           i i i        `* Re: Simulating termination analyzers by dummies --- What does halting mean?28olcott
21 Jun 24 i           i i i         +- Re: Simulating termination analyzers by dummies --- What does halting mean?1Richard Damon
21 Jun 24 i           i i i         `* Re: Simulating termination analyzers by dummies --- What does halting mean?26Mikko
21 Jun 24 i           i i i          `* Re: Simulating termination analyzers by dummies --- What does halting mean?25olcott
21 Jun 24 i           i i i           +- Re: Simulating termination analyzers by dummies --- What does halting mean?1Richard Damon
22 Jun 24 i           i i i           `* Re: Simulating termination analyzers by dummies --- What does halting mean?23Mikko
22 Jun 24 i           i i i            `* Re: Simulating termination analyzers by dummies --- What does halting mean?22olcott
22 Jun 24 i           i i i             `* Re: Simulating termination analyzers by dummies --- What does halting mean?21Richard Damon
22 Jun 24 i           i i i              `* Re: Simulating termination analyzers by dummies --- criteria is met20olcott
22 Jun 24 i           i i i               +* Re: Simulating termination analyzers by dummies --- criteria is met3Richard Damon
22 Jun 24 i           i i i               i`* Re: Simulating termination analyzers by dummies --- criteria is met2olcott
22 Jun 24 i           i i i               i `- Re: Simulating termination analyzers by dummies --- criteria is met1Richard Damon
22 Jun 24 i           i i i               +- Re: Simulating termination analyzers by dummies --- criteria is met1joes
23 Jun 24 i           i i i               `* Re: Simulating termination analyzers by dummies --- criteria is met15Mikko
23 Jun 24 i           i i i                `* Re: Simulating termination analyzers by dummies --- criteria is met14olcott
19 Jun 24 i           i i +* Re: Simulating termination analyzers by dummies --- What does halting mean?23Richard Damon
19 Jun 24 i           i i `* Re: Simulating termination analyzers by dummies --- What does halting mean?20Fred. Zwarts
19 Jun 24 i           i `- Re: Simulating termination analyzers for dummies1Richard Damon
18 Jun 24 i           `- Re: Simulating termination analyzers for dummies1Python
18 Jun 24 `* Re: Simulating termination analyzers for dummies10Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal