Re: D correctly simulated by H never halts

Liste des GroupesRevenir à cl c  
Sujet : Re: D correctly simulated by H never halts
De : chris.m.thomasson.1 (at) *nospam* gmail.com (Chris M. Thomasson)
Groupes : comp.lang.c++ comp.lang.c
Date : 29. May 2024, 04:05:39
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v36624$vrvg$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : Mozilla Thunderbird
On 5/28/2024 7:15 PM, olcott wrote:
On 5/28/2024 8:53 PM, tTh wrote:
On 5/29/24 00:12, olcott wrote:
On 5/28/2024 3:11 PM, Chris M. Thomasson wrote:
On 5/28/2024 7:11 AM, olcott wrote:
[...]
H is a pure simulator or a pure function.
[...]
Can you show us a little pseudo code for H?
>
>
Just assume that H is an x86 emulator that emulates
its input function with the input to this function.
>
    Why specially a x86 ? Why not a Sparc or a 68k ?
 To make it 100% concrete so that no one can say I am being
too vague and that is what the fully operational H does.
Also I know x86 very well since it was new.
 
too vague? Oh that is rich.

Date Sujet#  Auteur
23 May 24 * Can you see that D correctly simulated by H remains stuck in recursive simulation?81olcott
23 May 24 +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?7Marcel Mueller
23 May 24 i+* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?5olcott
23 May 24 ii`* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?4Bonita Montero
23 May 24 ii `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?3olcott
24 May 24 ii  `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2Chris M. Thomasson
24 May 24 ii   `- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Sam
24 May 24 i`- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Chris M. Thomasson
23 May 24 +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?17Sam
24 May 24 i+* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?15olcott
24 May 24 ii`* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?14Sam
24 May 24 ii +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?8olcott
24 May 24 ii i+- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Chris M. Thomasson
24 May 24 ii i`* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?6Sam
24 May 24 ii i +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2Kenny McCormack
24 May 24 ii i i`- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1olcott
24 May 24 ii i `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?3Keith Thompson
24 May 24 ii i  `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2olcott
25 May 24 ii i   `- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Chris M. Thomasson
24 May 24 ii +- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1olcott
24 May 24 ii +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2Keith Thompson
24 May 24 ii i`- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1olcott
24 May 24 ii `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2olcott
24 May 24 ii  `- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Sam
24 May 24 i`- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Chris M. Thomasson
24 May 24 +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?8Richard Harnden
24 May 24 i`* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?7olcott
24 May 24 i +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2David Brown
24 May 24 i i`- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1olcott
24 May 24 i +- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Fred. Zwarts
24 May 24 i +- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Fred. Zwarts
25 May 24 i `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2Mikko
25 May 24 i  `- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1olcott
24 May 24 +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?13Fred. Zwarts
24 May 24 i`* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?12olcott
24 May 24 i +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?4Fred. Zwarts
24 May 24 i i+- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1olcott
25 May 24 i i`* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2Mikko
25 May 24 i i `- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1olcott
25 May 24 i `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?7Mikko
25 May 24 i  `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?6olcott
26 May 24 i   `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?5Mikko
26 May 24 i    `* D correctly simulated by pure function H cannot possibly reach its, own line 064olcott
26 May 24 i     `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 063Mikko
26 May 24 i      `* Re: D correctly simulated by pure function H cannot possibly reach its, own line 062olcott
27 May 24 i       `- Re: D correctly simulated by pure function H cannot possibly reach its, own line 061Mikko
25 May 24 `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?35Fred. Zwarts
25 May 24  +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?2olcott
26 May 24  i`- Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?1Fred. Zwarts
25 May 24  +* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?3Mike Terry
25 May 24  i+- D correctly simulated by pure function H cannot possibly reach its own line 061olcott
25 May 24  i`- D correctly simulated by pure function H cannot possibly reach its own line 06---TOC divergence1olcott
26 May 24  `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?29olcott
26 May 24   `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?28Fred. Zwarts
26 May 24    `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?27olcott
26 May 24     `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?26Fred. Zwarts
26 May 24      `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?25olcott
27 May 24       `* Re: Can you see that D correctly simulated by H remains stuck in recursive simulation?24Fred. Zwarts
27 May 24        `* D correctly simulated by H never halts23olcott
28 May 24         `* Re: D correctly simulated by H never halts22Fred. Zwarts
28 May 24          `* Re: D correctly simulated by H never halts21olcott
28 May 24           `* Re: D correctly simulated by H never halts20Chris M. Thomasson
29 May 24            `* Re: D correctly simulated by H never halts19olcott
29 May 24             +* Re: D correctly simulated by H never halts4wij
29 May 24             i`* Re: D correctly simulated by H never halts3olcott
29 May 24             i `* Re: D correctly simulated by H never halts2Chris M. Thomasson
29 May 24             i  `- Re: D correctly simulated by H never halts1olcott
29 May 24             `* Re: D correctly simulated by H never halts14tTh
29 May 24              `* Re: D correctly simulated by H never halts13olcott
29 May 24               +* Re: D correctly simulated by H never halts10Chris M. Thomasson
29 May 24               i`* Re: D correctly simulated by H never halts9olcott
29 May 24               i +- Re: D correctly simulated by H never halts1olcott
29 May 24               i `* Re: D correctly simulated by H never halts7Chris M. Thomasson
29 May 24               i  +- Re: D correctly simulated by H never halts1olcott
29 May 24               i  `* Re: D correctly simulated by H never halts5olcott
29 May 24               i   +* Re: D correctly simulated by H never halts2Chris M. Thomasson
29 May 24               i   i`- Re: D correctly simulated by H never halts1olcott
29 May 24               i   `* Re: D correctly simulated by H never halts2Chris M. Thomasson
29 May 24               i    `- Re: D correctly simulated by H never halts1Chris M. Thomasson
29 May 24               `* Re: D correctly simulated by H never halts2tTh
29 May 24                `- Re: D correctly simulated by H never halts1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal