Re: Can D correctly simulated by H reach its own line 06 and halt?

Liste des GroupesRevenir à l c 
Sujet : Re: Can D correctly simulated by H reach its own line 06 and halt?
De : tr.17687 (at) *nospam* z991.linuxsc.com (Tim Rentsch)
Groupes : comp.lang.c
Date : 22. May 2024, 06:23:20
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <86a5kiwk3r.fsf@linuxsc.com>
References : 1 2 3 4 5 6 7
User-Agent : Gnus/5.11 (Gnus v5.11) Emacs/22.4 (gnu/linux)
Sam <sam@email-scan.com> writes:

olcott writes:
>
It is essentially trivial to see that D correctly simulated by H
cannot possibly reach its own final state at line 06 because
D correctly simulated by H remains stuck in recursive simulation.
>
This provides the basis for simulating termination analyzer H to
correctly determine that the halting problem's counter-example
input D cannot possibly halt.
>
Negative.  It is trivial to see that the above code does not
execute, and, as  such, any claims about what it does or does not
do are void, by default.
>
Oh I forgot to endlessly repeat that that the above is
a code template such that every H/D pair of the infinite
set of H/D pairs is only required to correctly simulate
N steps of D using an x86 emulator.
>
Just like any endlessly repeating infinite loop, you're stuck and
will never finish your task.

olcott is playing a kind of practical joke, testing to see
how long it takes people to realize his personal Turing
machine doesn't halt.

Date Sujet#  Auteur
18 May 24 * Can someone please verify the execution trace of this?137olcott
19 May 24 +- Re: Can someone please verify the execution trace of this?1Richard Damon
19 May 24 +* Re: Can someone please verify the execution trace of this?3Sam
19 May 24 i`* Re: Can someone please verify the execution trace of this?2olcott
19 May 24 i `- Re: Can someone please verify the execution trace of this?1jak
19 May 24 +* Re: Can someone please verify the execution trace of this?2Rosario19
19 May 24 i`- Re: Can someone please verify the execution trace of this?1olcott
19 May 24 +* Re: Can someone please verify the execution trace of this?127Bonita Montero
19 May 24 i`* Re: Can someone please verify the execution trace of this?126olcott
19 May 24 i +- Re: Can someone please verify the execution trace of this?1Richard Damon
20 May 24 i `* Re: Can someone please verify the execution trace of this?124Bonita Montero
20 May 24 i  `* Re: Can someone please verify the execution trace of this?123olcott
20 May 24 i   +* Re: Can someone please verify the execution trace of this?54Bonita Montero
20 May 24 i   i`* Re: Can someone please verify the execution trace of this?53olcott
20 May 24 i   i +* Re: Can someone please verify the execution trace of this?44Bonita Montero
20 May 24 i   i i`* Re: Can someone please verify the execution trace of this?43olcott
20 May 24 i   i i `* Re: Can someone please verify the execution trace of this?42Bonita Montero
20 May 24 i   i i  `* Re: Can someone please verify the execution trace of this?41olcott
20 May 24 i   i i   `* Re: Can someone please verify the execution trace of this?40Bonita Montero
20 May 24 i   i i    `* Re: Can someone please verify the execution trace of this?39olcott
20 May 24 i   i i     +* Re: Can someone please verify the execution trace of this?2Richard Harnden
20 May 24 i   i i     i`- Re: Can someone please verify the execution trace of this?1olcott
20 May 24 i   i i     `* Re: Can someone please verify the execution trace of this?36Chris M. Thomasson
20 May 24 i   i i      `* Re: Can someone please verify the execution trace of this?35olcott
20 May 24 i   i i       `* Re: Can someone please verify the execution trace of this?34Chris M. Thomasson
20 May 24 i   i i        +* Re: Can someone please verify the execution trace of this?13olcott
20 May 24 i   i i        i`* Re: Can someone please verify the execution trace of this?12Chris M. Thomasson
20 May 24 i   i i        i `* Re: Can someone please verify the execution trace of this?11olcott
20 May 24 i   i i        i  +- Re: Can someone please verify the execution trace of this?1Chris M. Thomasson
20 May 24 i   i i        i  +* Re: Can someone please verify the execution trace of this?3Chris M. Thomasson
20 May 24 i   i i        i  i`* Re: Can someone please verify the execution trace of this?2olcott
20 May 24 i   i i        i  i `- Re: Can someone please verify the execution trace of this?1Chris M. Thomasson
20 May 24 i   i i        i  `* Re: Can someone please verify the execution trace of this?6Chris M. Thomasson
20 May 24 i   i i        i   `* Re: Can someone please verify the execution trace of this?5olcott
20 May 24 i   i i        i    `* Re: Can someone please verify the execution trace of this?4Chris M. Thomasson
20 May 24 i   i i        i     `* Re: Can someone please verify the execution trace of this?3olcott
20 May 24 i   i i        i      `* Re: Can someone please verify the execution trace of this?2Chris M. Thomasson
20 May 24 i   i i        i       `- Re: Can someone please verify the execution trace of this?1Chris M. Thomasson
20 May 24 i   i i        `* Re: Can someone please verify the execution trace of this?20Chris M. Thomasson
20 May 24 i   i i         `* Re: Can someone please verify the execution trace of this?19olcott
20 May 24 i   i i          `* Re: Can someone please verify the execution trace of this?18Chris M. Thomasson
20 May 24 i   i i           `* Re: Can someone please verify the execution trace of this?17olcott
20 May 24 i   i i            `* Re: Can someone please verify the execution trace of this?16Chris M. Thomasson
20 May 24 i   i i             `* Re: Can someone please verify the execution trace of this?15olcott
20 May 24 i   i i              `* Re: Can someone please verify the execution trace of this?14Chris M. Thomasson
20 May 24 i   i i               `* Re: Can someone please verify the execution trace of this?13olcott
20 May 24 i   i i                `* Re: Can someone please verify the execution trace of this?12Chris M. Thomasson
20 May 24 i   i i                 +- Re: Can someone please verify the execution trace of this?1Chris M. Thomasson
20 May 24 i   i i                 `* Re: Can someone please verify the execution trace of this?10olcott
20 May 24 i   i i                  `* Re: Can someone please verify the execution trace of this?9Chris M. Thomasson
20 May 24 i   i i                   `* Re: Can someone please verify the execution trace of this?8Chris M. Thomasson
20 May 24 i   i i                    `* Re: Can someone please verify the execution trace of this?7olcott
20 May 24 i   i i                     +* Re: Can someone please verify the execution trace of this?5Chris M. Thomasson
20 May 24 i   i i                     i`* Re: Can someone please verify the execution trace of this?4olcott
20 May 24 i   i i                     i `* Re: Can someone please verify the execution trace of this?3Chris M. Thomasson
20 May 24 i   i i                     i  +- Re: Can someone please verify the execution trace of this?1Chris M. Thomasson
20 May 24 i   i i                     i  `- Re: Can someone please verify the execution trace of this?1olcott
20 May 24 i   i i                     `- Re: Can someone please verify the execution trace of this?1Chris M. Thomasson
20 May 24 i   i `* Re: Can someone please verify the execution trace of this?8Fred. Zwarts
20 May 24 i   i  `* Re: Can someone please verify the execution trace of this?7olcott
20 May 24 i   i   +* Re: Can someone please verify the execution trace of this?2Paavo Helde
20 May 24 i   i   i`- Re: Can someone please verify the execution trace of this?1olcott
20 May 24 i   i   `* Re: Can someone please verify the execution trace of this?4Bonita Montero
20 May 24 i   i    `* Re: Can someone please verify the execution trace of this?3olcott
21 May 24 i   i     `* Re: Can someone please verify the execution trace of this?2Fred. Zwarts
21 May 24 i   i      `- Re: Can someone please verify the execution trace of this?1olcott
21 May 24 i   +* Re: Can someone please verify the execution trace of this?35Sam
21 May 24 i   i`* Re: Can someone please verify the execution trace of this?34olcott
21 May 24 i   i `* Re: Can someone please verify the execution trace of this?33Sam
21 May 24 i   i  +* Re: Can someone please verify the execution trace of this?30olcott
21 May 24 i   i  i`* Re: Can someone please verify the execution trace of this?29Sam
21 May 24 i   i  i `* Re: Can someone please verify the execution trace of this?28olcott
21 May 24 i   i  i  `* Re: Can someone please verify the execution trace of this?27Chris M. Thomasson
21 May 24 i   i  i   `* Re: Can someone please verify the execution trace of this?26olcott
21 May 24 i   i  i    +- Re: Can someone please verify the execution trace of this?1Chris M. Thomasson
21 May 24 i   i  i    `* Re: Can someone please verify the execution trace of this?24Sam
22 May 24 i   i  i     `* Can D correctly simulated by H reach its own line 06 and halt?23olcott
22 May 24 i   i  i      +* Re: Can D correctly simulated by H reach its own line 06 and halt?7Chris M. Thomasson
22 May 24 i   i  i      i`* Re: Can D correctly simulated by H reach its own line 06 and halt?6Chris M. Thomasson
22 May 24 i   i  i      i `* Re: Can D correctly simulated by H reach its own line 06 and halt?5olcott
22 May 24 i   i  i      i  `* Re: Can D correctly simulated by H reach its own line 06 and halt?4Chris M. Thomasson
22 May 24 i   i  i      i   `* Re: Can D correctly simulated by H reach its own line 06 and halt?3olcott
22 May 24 i   i  i      i    `* Re: Can D correctly simulated by H reach its own line 06 and halt?2Chris M. Thomasson
22 May 24 i   i  i      i     `- Re: Can D correctly simulated by H reach its own line 06 and halt?1olcott
22 May 24 i   i  i      `* Re: Can D correctly simulated by H reach its own line 06 and halt?15Sam
22 May 24 i   i  i       +* Re: Can D correctly simulated by H reach its own line 06 and halt?5olcott
22 May 24 i   i  i       i`* Re: Can D correctly simulated by H reach its own line 06 and halt?4Sam
22 May 24 i   i  i       i `* Re: Can D correctly simulated by H reach its own line 06 and halt?3olcott
22 May 24 i   i  i       i  `* Re: Can D correctly simulated by H reach its own line 06 and halt?2Sam
22 May 24 i   i  i       i   `- Re: Can D correctly simulated by H reach its own line 06 and halt?1Tim Rentsch
22 May 24 i   i  i       `* Re: Can D correctly simulated by H reach its own line 06 and halt?9olcott
22 May 24 i   i  i        +* Re: Can D correctly simulated by H reach its own line 06 and halt?3olcott
22 May 24 i   i  i        i`* Re: Can D correctly simulated by H reach its own line 06 and halt?2tTh
22 May 24 i   i  i        i `- Re: Can D correctly simulated by H reach its own line 06 and halt?1Chris M. Thomasson
22 May 24 i   i  i        `* Re: Can D correctly simulated by H reach its own line 06 and halt?5Sam
22 May 24 i   i  i         `* Re: Can D correctly simulated by H reach its own line 06 and halt?4Bonita Montero
22 May 24 i   i  i          `* Re: Can D correctly simulated by H reach its own line 06 and halt?3olcott
22 May 24 i   i  i           `* Re: Can D correctly simulated by H reach its own line 06 and halt?2Sam
22 May 24 i   i  i            `- Re: Can D correctly simulated by H reach its own line 06 and halt?1Chris M. Thomasson
21 May 24 i   i  `* Re: Can someone please verify the execution trace of this?2Chris M. Thomasson
21 May 24 i   i   `- Can D simulated by any H possibly reach its own line 06 and halt?1olcott
21 May 24 i   +* Re: Can someone please verify the execution trace of this?31olcott
22 May 24 i   `* Partial function types2Tim Rentsch
20 May 24 `* Re: Can someone please verify the execution trace of this?3Marcel Mueller

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal