Re: Simulating termination analyzers by dummies --- the only reply until addressed

Liste des GroupesRevenir à c theory 
Sujet : Re: Simulating termination analyzers by dummies --- the only reply until addressed
De : noreply (at) *nospam* example.com (joes)
Groupes : comp.theory sci.logic
Date : 19. Jun 2024, 18:59:49
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v4v6al$fhqs$10@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:48:18 -0500 schrieb olcott:
On 6/19/2024 12:43 PM, joes wrote:
Am Wed, 19 Jun 2024 08:31:24 -0500 schrieb olcott:
On 6/19/2024 4:08 AM, joes wrote:
Am Tue, 18 Jun 2024 21:51:56 -0500 schrieb olcott:
On 6/18/2024 9:41 PM, Richard Damon wrote:
On 6/18/24 10:30 PM, olcott wrote:
On 6/18/2024 9:16 PM, Richard Damon wrote:
On 6/18/24 1:25 PM, olcott wrote:
On 6/18/2024 12:06 PM, joes wrote:

Please actually reply to my points instead of spamming. Which were:

Terminating is a property of the actual machine, and not a
simulation of it.

YOUR partial decider makes everything halt, even that which doesn't.
So yes, it can't simulate infinite loops.
Your nonsimulator halts even when given nonterminating input.

You could say the SIMULATION didn't terminate normally, but you
can't say the machine didn't or even the Turing Machine
Description, as you could give that exact same TMD to a real UTM
and find out the actual behaviof or the input.
Sure you can otherwise interpreters of source-code would be a bogus
concept.
When I write an infinite loop, I want it to be interpreted as an
infinite loop. Your H0 is bogus.

If the simulation of the x86 machine language of the function does
not prove the actual behavior that this finite string specifies then
source-code interpreters are a bogus concept.
Your H0 is not an interpreter. It aborts infinite loops.

Which doesn't mean the program DDD needs to be abort to have it
halt.
The verified that that it does need to be aborted contradicts your
nonsense to the contrary.
[The verification that it ... ?]
If H0 halts, so does DDD (which only calls it).
I was talking about DDD. It calls H0, which shall halt. Then DDD
returns, having terminated.

Exactly which step of DDD emulated by H0 was emulated incorrectly such
that this emulation would be complete? AKA DDD emulated by H0 reaches
machine address [000020b3]
It was aborted before it reached there.

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