Re: This function proves that only the outermost HHH examines the execution trace

Liste des GroupesRevenir à theory 
Sujet : Re: This function proves that only the outermost HHH examines the execution trace
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 30. Jul 2024, 08:15:12
Autres entêtes
Organisation : -
Message-ID : <v8a3u0$ucb1$1@dont-email.me>
References : 1 2 3 4 5 6 7 8
User-Agent : Unison/2.2
On 2024-07-29 16:55:46 +0000, olcott said:

On 7/28/2024 4:10 AM, Mikko wrote:
On 2024-07-27 18:14:52 +0000, Alan Mackenzie said:
 
olcott <polcott333@gmail.com> wrote:
 
Stopping running is not the same as halting.
DDD emulated by HHH stops running when its emulation has been aborted.
This is not the same as reaching its ret instruction and terminating
normally (AKA halting).
 
I think you're wrong, here.  All your C programs are a stand in for
turing machines.  A turing machine is either running or halted.  There is
no third state "aborted".  An aborted C program certainly doesn't
correspond with a running turing machine - so it must be a halted turing
machine.
 
So aborted programs are halted programs.  If you disagree, perhaps you
could point out where in my arguments above I'm wrong.
 May I disagree? An "aborted" Turing machine is a runnung Turing machine.
 A Turing machine has no notion of being aborted.
That's correct. But you have used the word anyway.
--
Mikko

Date Sujet#  Auteur
26 Jul 24 * This function proves that only the outermost HHH examines the execution trace112olcott
26 Jul 24 +* Re: This function proves that only the outermost HHH examines the execution trace3joes
26 Jul 24 i`* Re: This function proves that only the outermost HHH examines the execution trace2Mike Terry
26 Jul 24 i `- Re: This function proves that only the outermost HHH examines the execution trace1olcott
26 Jul 24 +* Re: This function proves that only the outermost HHH examines the execution trace50Mike Terry
26 Jul 24 i`* Re: This function proves that only the outermost HHH examines the execution trace49olcott
27 Jul 24 i +* Re: This function proves that only the outermost HHH examines the execution trace4Mikko
27 Jul 24 i i`* Re: This function proves that only the outermost HHH examines the execution trace3olcott
27 Jul 24 i i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
28 Jul 24 i i `- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
27 Jul 24 i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
27 Jul 24 i +* Re: This function proves that only the outermost HHH examines the execution trace6Fred. Zwarts
27 Jul 24 i i`* Re: This function proves that only the outermost HHH examines the execution trace5olcott
27 Jul 24 i i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
27 Jul 24 i i +* Re: This function proves that only the outermost HHH examines the execution trace2joes
27 Jul 24 i i i`- Re: This function proves that only the outermost HHH examines the execution trace1olcott
28 Jul 24 i i `- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
27 Jul 24 i `* Re: This function proves that only the outermost HHH examines the execution trace37Fred. Zwarts
27 Jul 24 i  `* Re: This function proves that only the outermost HHH examines the execution trace36olcott
27 Jul 24 i   +* Re: This function proves that only the outermost HHH examines the execution trace31Fred. Zwarts
27 Jul 24 i   i`* Re: This function proves that only the outermost HHH examines the execution trace30olcott
28 Jul 24 i   i +* Re: This function proves that only the outermost HHH examines the execution trace5Fred. Zwarts
28 Jul 24 i   i i`* Re: This function proves that only the outermost HHH examines the execution trace4olcott
28 Jul 24 i   i i +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
28 Jul 24 i   i i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
28 Jul 24 i   i i `- Re: This function proves that only the outermost HHH examines the execution trace1joes
28 Jul 24 i   i `* Re: This function proves that only the outermost HHH examines the execution trace24Mikko
29 Jul 24 i   i  `* Re: This function proves that only the outermost HHH examines the execution trace23olcott
29 Jul 24 i   i   +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
30 Jul 24 i   i   +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
30 Jul 24 i   i   `* Re: This function proves that only the outermost HHH examines the execution trace20Mikko
31 Jul 24 i   i    `* Re: This function proves that only the outermost HHH examines the execution trace19olcott
31 Jul 24 i   i     +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
31 Jul 24 i   i     `* Re: This function proves that only the outermost HHH examines the execution trace17Mikko
31 Jul 24 i   i      +* Re: This function proves that only the outermost HHH examines the execution trace14olcott
1 Aug 24 i   i      i`* Re: This function proves that only the outermost HHH examines the execution trace13Mikko
1 Aug 24 i   i      i `* Re: This function proves that only the outermost HHH examines the execution trace12olcott
1 Aug 24 i   i      i  +* Re: This function proves that only the outermost HHH examines the execution trace10Fred. Zwarts
1 Aug 24 i   i      i  i`* Re: This function proves that only the outermost HHH examines the execution trace9olcott
1 Aug 24 i   i      i  i +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
1 Aug 24 i   i      i  i `* Re: This function proves that only the outermost HHH examines the execution trace7joes
1 Aug 24 i   i      i  i  `* Re: This function proves that only the outermost HHH examines the execution trace6olcott
1 Aug 24 i   i      i  i   +* Re: This function proves that only the outermost HHH examines the execution trace3Fred. Zwarts
1 Aug 24 i   i      i  i   i`* Re: This function proves that only the outermost HHH examines the execution trace2olcott
2 Aug 24 i   i      i  i   i `- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
1 Aug 24 i   i      i  i   `* Re: This function proves that only the outermost HHH examines the execution trace2joes
1 Aug 24 i   i      i  i    `- Re: This function proves that only the outermost HHH examines the execution trace1olcott
2 Aug 24 i   i      i  `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko
31 Jul 24 i   i      `* Re: This function proves that only the outermost HHH examines the execution trace2olcott
1 Aug 24 i   i       `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko
28 Jul 24 i   `* Re: This function proves that only the outermost HHH examines the execution trace4Mikko
29 Jul 24 i    `* HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace3olcott
29 Jul 24 i     +- Re: HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace1Fred. Zwarts
30 Jul 24 i     `- Re: HHH(Infinite_Recursion) and HHH(DDD) derive same non-halting execution trace1Mikko
27 Jul 24 +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
27 Jul 24 +* Re: This function proves that only the outermost HHH examines the execution trace56Fred. Zwarts
27 Jul 24 i`* Re: This function proves that only the outermost HHH examines the execution trace55olcott
27 Jul 24 i `* Re: This function proves that only the outermost HHH examines the execution trace54Fred. Zwarts
27 Jul 24 i  `* Re: This function proves that only the outermost HHH examines the execution trace53olcott
27 Jul 24 i   +* Re: This function proves that only the outermost HHH examines the execution trace50Alan Mackenzie
27 Jul 24 i   i+* Re: This function proves that only the outermost HHH examines the execution trace17olcott
27 Jul 24 i   ii+* Re: This function proves that only the outermost HHH examines the execution trace9Alan Mackenzie
27 Jul 24 i   iii`* Re: This function proves that only the outermost HHH examines the execution trace8olcott
27 Jul 24 i   iii `* Re: This function proves that only the outermost HHH examines the execution trace7Alan Mackenzie
27 Jul 24 i   iii  `* Re: This function proves that only the outermost HHH examines the execution trace6olcott
27 Jul 24 i   iii   `* Re: This function proves that only the outermost HHH examines the execution trace5Alan Mackenzie
28 Jul 24 i   iii    `* Re: This function proves that only the outermost HHH examines the execution trace4olcott
28 Jul 24 i   iii     `* Re: This function proves that only the outermost HHH examines the execution trace3Alan Mackenzie
28 Jul 24 i   iii      `* Re: This function proves that only the outermost HHH examines the execution trace2olcott
28 Jul 24 i   iii       `- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
28 Jul 24 i   ii`* Re: This function proves that only the outermost HHH examines the execution trace7Mikko
29 Jul 24 i   ii `* Re: This function proves that only the outermost HHH examines the execution trace6olcott
29 Jul 24 i   ii  +- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
29 Jul 24 i   ii  `* Re: This function proves that only the outermost HHH examines the execution trace4Mikko
29 Jul 24 i   ii   `* Re: This function proves that only the outermost HHH examines the execution trace3olcott
29 Jul 24 i   ii    +- Re: This function proves that only the outermost HHH examines the execution trace1Fred. Zwarts
30 Jul 24 i   ii    `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko
28 Jul 24 i   i+* Re: This function proves that only the outermost HHH examines the execution trace27Mike Terry
28 Jul 24 i   ii+- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
28 Jul 24 i   ii+* Re: This function proves that only the outermost HHH examines the execution trace21olcott
28 Jul 24 i   iii+- Re: This function proves that only the outermost HHH examines the execution trace1Richard Damon
28 Jul 24 i   iii`* Re: This function proves that only the outermost HHH examines the execution trace19Fred. Zwarts
28 Jul 24 i   iii `* HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)18olcott
28 Jul 24 i   iii  +- Re: HHH(DDD) does not see the exact same behavior pattern as HHH(Infinite_Recursion)1Richard Damon
28 Jul 24 i   iii  `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)16Fred. Zwarts
28 Jul 24 i   iii   `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)15olcott
28 Jul 24 i   iii    +- Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion) unless it can abort.1Richard Damon
29 Jul 24 i   iii    `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)13Fred. Zwarts
29 Jul 24 i   iii     `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)12olcott
29 Jul 24 i   iii      `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)11Fred. Zwarts
30 Jul 24 i   iii       `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)10Mike Terry
30 Jul 24 i   iii        `* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)9olcott
30 Jul 24 i   iii         +- Re: HHH(DDD) does not see the exact same behavior pattern as HHH(Infinite_Recursion) OLCOTTS ERROR1Richard Damon
30 Jul 24 i   iii         +* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)6joes
31 Jul 24 i   iii         i`* Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)5Mike Terry
31 Jul 24 i   iii         i `* Linz proof is essentially isomorphic4olcott
31 Jul 24 i   iii         i  `* Re: Linz proof is essentially isomorphic3Richard Damon
31 Jul 24 i   iii         i   `* Re: Linz proof is essentially isomorphic2olcott
31 Jul 24 i   iii         i    `- Re: Linz proof is essentially isomorphic1Richard Damon
30 Jul 24 i   iii         `- Re: HHH(DDD) sees the exact same behavior pattern as HHH(Infinite_Recursion)1Fred. Zwarts
28 Jul 24 i   ii`* Re: This function proves that only the outermost HHH examines the execution trace4Alan Mackenzie
28 Jul 24 i   i`* Re: This function proves that only the outermost HHH examines the execution trace5Mikko
27 Jul 24 i   `* Re: This function proves that only the outermost HHH examines the execution trace2Fred. Zwarts
3 Aug 24 `- Re: This function proves that only the outermost HHH examines the execution trace1Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal