Can you see that D correctly simulated by H remains stuck in recursive simulation?

Liste des GroupesRevenir à c theory 
Sujet : Can you see that D correctly simulated by H remains stuck in recursive simulation?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 23. May 2024, 19:04:49
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v2nsvh$1rd65$2@dont-email.me>
User-Agent : Mozilla Thunderbird
typedef int (*ptr)();  // ptr is pointer to int function in C
00       int H(ptr p, ptr i);
01       int D(ptr p)
02       {
03         int Halt_Status = H(p, p);
04         if (Halt_Status)
05           HERE: goto HERE;
06         return Halt_Status;
07       }
08
09       int main()
10       {
11         H(D,D);
12         return 0;
13       }
The above template refers to an infinite set of H/D pairs where D is
correctly simulated by pure function H. This was done because many
reviewers used the shell game ploy to endlessly switch which H/D pair
was being referred to.
*Correct Simulation Defined*
    This is provided because every reviewer had a different notion of
    correct simulation that diverges from this notion.
    A simulator is an x86 emulator that correctly emulates at least one
    of the x86 instructions of D in the order specified by the x86
    instructions of D.
    This may include correctly emulating the x86 instructions of H in
    the order specified by the x86 instructions of H thus calling H(D,D)
    in recursive simulation.
*Execution Trace*
    Line 11: main() invokes H(D,D); H(D,D) simulates lines 01, 02, and 03
    of D. This invokes H(D,D) again to repeat the process in endless
    recursive simulation.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
23 May 24 * Can you see that D correctly simulated by H remains stuck in recursive simulation?186olcott
24 May 24 +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?23Richard Damon
24 May 24 i+* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?10olcott
24 May 24 ii`* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?9Richard Damon
24 May 24 ii `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?8olcott
24 May 24 ii  `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?7Richard Damon
24 May 24 ii   `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?6olcott
24 May 24 ii    `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?5Richard Damon
24 May 24 ii     `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?4olcott
24 May 24 ii      `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?3Richard Damon
24 May 24 ii       `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2olcott
25 May 24 ii        `- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Richard Damon
24 May 24 i`* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?12Fred. Zwarts
24 May 24 i +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?5Richard Damon
24 May 24 i i`* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?4olcott
24 May 24 i i `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?3Richard Damon
24 May 24 i i  `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2olcott
25 May 24 i i   `- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Richard Damon
24 May 24 i `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?6olcott
24 May 24 i  `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?5Richard Damon
24 May 24 i   `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?4olcott
24 May 24 i    `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?3Richard Damon
24 May 24 i     `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2olcott
25 May 24 i      `- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Richard Damon
24 May 24 +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?154Fred. Zwarts
24 May 24 i`* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?153olcott
24 May 24 i `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?152Richard Damon
24 May 24 i  `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?151olcott
24 May 24 i   `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?150Richard Damon
24 May 24 i    `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?149olcott
25 May 24 i     +- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Richard Damon
25 May 24 i     `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?147olcott
25 May 24 i      `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?146Richard Damon
25 May 24 i       `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?145olcott
25 May 24 i        `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?144Richard Damon
25 May 24 i         `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?143olcott
25 May 24 i          +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?140Richard Damon
25 May 24 i          i`* D correctly simulated by pure function H cannot possibly reach its, own line 06139olcott
25 May 24 i          i `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06138Richard Damon
25 May 24 i          i  `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06137olcott
25 May 24 i          i   +* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06134Richard Damon
25 May 24 i          i   i`* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06133olcott
25 May 24 i          i   i `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06132Richard Damon
25 May 24 i          i   i  `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06131olcott
25 May 24 i          i   i   `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06130Richard Damon
25 May 24 i          i   i    `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06129olcott
25 May 24 i          i   i     `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06128Richard Damon
26 May 24 i          i   i      +* Re: D correctly simulated by pure function H cannot possibly reach its, own line 066olcott
26 May 24 i          i   i      i`* Re: D correctly simulated by pure function H cannot possibly reach its, own line 065Richard Damon
26 May 24 i          i   i      i `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 064olcott
26 May 24 i          i   i      i  `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 063Richard Damon
26 May 24 i          i   i      i   `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 062olcott
26 May 24 i          i   i      i    `- Re: D correctly simulated by pure function H cannot possibly reach its, own line 061Richard Damon
26 May 24 i          i   i      `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06121olcott
26 May 24 i          i   i       `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06120Richard Damon
26 May 24 i          i   i        `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06119olcott
26 May 24 i          i   i         `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06118Richard Damon
26 May 24 i          i   i          `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06117olcott
26 May 24 i          i   i           `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06116Richard Damon
26 May 24 i          i   i            `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06115olcott
26 May 24 i          i   i             `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06114Richard Damon
26 May 24 i          i   i              `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06113olcott
26 May 24 i          i   i               `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06112Richard Damon
26 May 24 i          i   i                +* Re: D correctly simulated by pure function H cannot possibly reach its, own line 062olcott
26 May 24 i          i   i                i`- Re: D correctly simulated by pure function H cannot possibly reach its, own line 061Richard Damon
26 May 24 i          i   i                `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06109olcott
26 May 24 i          i   i                 `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06108Richard Damon
26 May 24 i          i   i                  +* Re: D correctly simulated by pure function H cannot possibly reach its, own line 066olcott
26 May 24 i          i   i                  i`* Re: D correctly simulated by pure function H cannot possibly reach its, own line 065Richard Damon
26 May 24 i          i   i                  i +* Re: D correctly simulated by pure function H cannot possibly reach its, own line 062olcott
26 May 24 i          i   i                  i i`- Re: D correctly simulated by pure function H cannot possibly reach its, own line 061Richard Damon
26 May 24 i          i   i                  i `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 062olcott
26 May 24 i          i   i                  i  `- Re: D correctly simulated by pure function H cannot possibly reach its, own line 061Richard Damon
26 May 24 i          i   i                  `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?101olcott
26 May 24 i          i   i                   `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?100Richard Damon
26 May 24 i          i   i                    `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?99olcott
26 May 24 i          i   i                     `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?98Richard Damon
26 May 24 i          i   i                      `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?97olcott
26 May 24 i          i   i                       `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Dishonest?96Richard Damon
26 May 24 i          i   i                        `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 ---95olcott
26 May 24 i          i   i                         `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 ---94Richard Damon
26 May 24 i          i   i                          `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 ---93olcott
26 May 24 i          i   i                           `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 ---92Richard Damon
26 May 24 i          i   i                            +* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof4olcott
26 May 24 i          i   i                            i`* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof3Richard Damon
26 May 24 i          i   i                            i `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof2olcott
26 May 24 i          i   i                            i  `- Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz proof1Richard Damon
26 May 24 i          i   i                            `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz87olcott
26 May 24 i          i   i                             `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 06 --- Linz86Richard Damon
27 May 24 i          i   i                              `* A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩85olcott
27 May 24 i          i   i                               `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩84Richard Damon
27 May 24 i          i   i                                `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩83olcott
27 May 24 i          i   i                                 `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩82Richard Damon
27 May 24 i          i   i                                  +* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩4olcott
27 May 24 i          i   i                                  i`* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩3Richard Damon
27 May 24 i          i   i                                  i `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩2olcott
27 May 24 i          i   i                                  i  `- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩1Richard Damon
27 May 24 i          i   i                                  `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩77olcott
27 May 24 i          i   i                                   +* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩3Richard Damon
27 May 24 i          i   i                                   i`* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩2olcott
27 May 24 i          i   i                                   i `- Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩1Richard Damon
27 May 24 i          i   i                                   `* Re: A simulating halt decider applied to the The Peter Linz Turing Machine description ⟨Ĥ⟩73olcott
25 May 24 i          i   `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 062Alan Mackenzie
26 May 24 i          `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2Fred. Zwarts
24 May 24 `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?8Mikko

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal