Can D simulated by H terminate normally?

Liste des GroupesRevenir à s logic 
Sujet : Can D simulated by H terminate normally?
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic
Date : 28. Apr 2024, 02:17:48
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v0k4jc$laej$1@dont-email.me>
User-Agent : Mozilla Thunderbird
Can D simulated by H terminate normally?
The x86utm operating system based on an open source x86 emulator.
This system enables one C function to execute another C function
in debug step mode. When H simulates D it creates a separate process
context for D with its own memory, stack and virtual registers. H
is able to simulate D simulating itself, thus the only limit to
recursive simulations is RAM.
// The following is written in C
//
01 typedef int (*ptr)(); // pointer to int function
02 int H(ptr x, ptr y)    // uses x86 emulator to simulate its input
03
04 int D(ptr x)
05 {
06   int Halt_Status = H(x, x);
07   if (Halt_Status)
08     HERE: goto HERE;
09   return Halt_Status;
10 }
11
12 void main()
13 {
14   D(D);
15 }
Execution Trace
Line 14: main() invokes D(D)
keeps repeating (unless aborted)
Line 06: simulated D(D) invokes simulated H(D,D) that simulates D(D)
Simulation invariant
D correctly simulated by H cannot possibly reach its own line 09.
Is it dead obvious to everyone here when examining the execution
trace of lines 14 and 06 above that D correctly simulated by H cannot
possibly terminate normally by reaching its own line 09?
--
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
28 Apr 24 * Can D simulated by H terminate normally?171olcott
28 Apr 24 +* Re: Can D simulated by H terminate normally?34Richard Damon
28 Apr 24 i`* Re: Can D simulated by H terminate normally?33olcott
28 Apr 24 i `* Re: Can D simulated by H terminate normally?32Richard Damon
28 Apr 24 i  `* Re: Can D simulated by H terminate normally?31olcott
28 Apr 24 i   +* Re: Can D simulated by H terminate normally?28Richard Damon
28 Apr 24 i   i`* Re: Can D simulated by H terminate normally?27olcott
28 Apr 24 i   i `* Re: Can D simulated by H terminate normally?26Richard Damon
28 Apr 24 i   i  `* Re: Can D simulated by H terminate normally?25olcott
28 Apr 24 i   i   `* Re: Can D simulated by H terminate normally?24Richard Damon
28 Apr 24 i   i    `* Re: Can D simulated by H terminate normally?23olcott
28 Apr 24 i   i     `* Re: Can D simulated by H terminate normally?22Richard Damon
28 Apr 24 i   i      `* Re: Can D simulated by H terminate normally?21olcott
28 Apr 24 i   i       `* Re: Can D simulated by H terminate normally?20Richard Damon
28 Apr 24 i   i        `* Re: Can D simulated by H terminate normally?19olcott
28 Apr 24 i   i         +* Re: Can D simulated by H terminate normally?13Richard Damon
28 Apr 24 i   i         i`* Re: Can D simulated by H terminate normally?12olcott
28 Apr 24 i   i         i `* Re: Can D simulated by H terminate normally?11Richard Damon
28 Apr 24 i   i         i  `* Re: Can D simulated by H terminate normally? POE10olcott
28 Apr 24 i   i         i   `* Re: Can D simulated by H terminate normally? POE9Richard Damon
28 Apr 24 i   i         i    +* Re: Can D simulated by H terminate normally? POE2olcott
29 Apr 24 i   i         i    i`- Re: Can D simulated by H terminate normally? POE1Richard Damon
29 Apr 24 i   i         i    `* Re: Can D simulated by H terminate normally? POE6olcott
29 Apr 24 i   i         i     `* Re: Can D simulated by H terminate normally? POE5Richard Damon
29 Apr 24 i   i         i      `* Re: Can D simulated by H terminate normally? POE4olcott
29 Apr 24 i   i         i       `* Re: Can D simulated by H terminate normally? POE3Richard Damon
29 Apr 24 i   i         i        `* Re: Can D simulated by H terminate normally? POE2olcott
30 Apr 24 i   i         i         `- Re: Can D simulated by H terminate normally? POE1Richard Damon
28 Apr 24 i   i         `* Re: Can D simulated by H terminate normally?5Richard Damon
28 Apr 24 i   i          `* Re: Can D simulated by H terminate normally?4olcott
28 Apr 24 i   i           `* Re: Can D simulated by H terminate normally?3Richard Damon
28 Apr 24 i   i            `* Re: Can D simulated by H terminate normally?2olcott
28 Apr 24 i   i             `- Re: Can D simulated by H terminate normally?1Richard Damon
28 Apr 24 i   `* Re: Can D simulated by H terminate normally?2olcott
28 Apr 24 i    `- Re: Can D simulated by H terminate normally?1Richard Damon
28 Apr 24 `* Re: Can D simulated by H terminate normally?136olcott
28 Apr 24  `* Re: Can D simulated by H terminate normally?135Richard Damon
28 Apr 24   `* Re: Can D simulated by H terminate normally?134olcott
28 Apr 24    `* Re: Can D simulated by H terminate normally?133Richard Damon
28 Apr 24     `* Re: Can D simulated by H terminate normally?132olcott
28 Apr 24      `* Re: Can D simulated by H terminate normally?131Richard Damon
28 Apr 24       `* Re: Can D simulated by H terminate normally?130olcott
28 Apr 24        `* Re: Can D simulated by H terminate normally?129Richard Damon
28 Apr 24         +* Re: Can D simulated by H terminate normally?104olcott
28 Apr 24         i+* Re: Can D simulated by H terminate normally?96Richard Damon
28 Apr 24         ii`* Re: Can D simulated by H terminate normally?95olcott
28 Apr 24         ii `* Re: Can D simulated by H terminate normally?94Richard Damon
28 Apr 24         ii  `* Re: Can D simulated by H terminate normally?93olcott
29 Apr 24         ii   `* Re: Can D simulated by H terminate normally?92Richard Damon
29 Apr 24         ii    `* Re: Can D simulated by H terminate normally?91olcott
29 Apr 24         ii     `* Re: Can D simulated by H terminate normally?90Richard Damon
29 Apr 24         ii      `* Re: Can D simulated by H terminate normally?89olcott
30 Apr 24         ii       `* Re: Can D simulated by H terminate normally?88Richard Damon
30 Apr 24         ii        `* Re: Can D simulated by H terminate normally?87olcott
30 Apr 24         ii         `* Re: Can D simulated by H terminate normally?86Richard Damon
30 Apr 24         ii          `* Re: Can D simulated by H terminate normally?85olcott
1 May 24         ii           `* Re: Can D simulated by H terminate normally?84Richard Damon
1 May 24         ii            `* Re: Can D simulated by H terminate normally?83olcott
1 May 24         ii             `* Re: Can D simulated by H terminate normally?82Richard Damon
1 May 24         ii              `* Re: Can D simulated by H terminate normally?81olcott
2 May 24         ii               `* Re: Can D simulated by H terminate normally?80Richard Damon
2 May 24         ii                +* Re: Can D simulated by H terminate normally?6olcott
2 May 24         ii                i`* Re: Can D simulated by H terminate normally?5Richard Damon
2 May 24         ii                i `* Re: Can D simulated by H terminate normally?4olcott
2 May 24         ii                i  `* Re: Can D simulated by H terminate normally?3Richard Damon
2 May 24         ii                i   `* Re: Can D simulated by H terminate normally?2olcott
2 May 24         ii                i    `- Re: Can D simulated by H terminate normally?1Richard Damon
18 May 24         ii                +- Re: Can D simulated by H terminate normally?1Richard Damon
18 May 24         ii                +* Re: Can D simulated by H terminate normally? --- Message-ID provided4olcott
18 May 24         ii                i`* Re: Can D simulated by H terminate normally? --- Message-ID provided3Richard Damon
18 May 24         ii                i `* Re: Can D simulated by H terminate normally? --- Message-ID provided2olcott
18 May 24         ii                i  `- Re: Can D simulated by H terminate normally? --- Message-ID provided1Richard Damon
18 May 24         ii                +* Re: Can D simulated by H terminate normally? --- Message_ID Provided7olcott
18 May 24         ii                i+* Re: Can D simulated by H terminate normally? --- Message_ID Provided3Richard Damon
18 May 24         ii                ii`* Re: Can D simulated by H terminate normally? --- Message_ID Provided2olcott
18 May 24         ii                ii `- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
18 May 24         ii                i`* Re: Can D simulated by H terminate normally? --- Message_ID Provided3Richard Damon
18 May 24         ii                i `* Re: Can D simulated by H terminate normally? --- Message_ID Provided2olcott
18 May 24         ii                i  `- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
18 May 24         ii                +* Re: Can D simulated by H terminate normally? --- Message_ID Provided31olcott
18 May 24         ii                i`* Re: Can D simulated by H terminate normally? --- Message_ID Provided30Richard Damon
18 May 24         ii                i +* Re: Can D simulated by H terminate normally? --- Message_ID Provided2olcott
19 May 24         ii                i i`- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
19 May 24         ii                i `* Re: Can D simulated by H terminate normally? --- Message_ID Provided27olcott
19 May 24         ii                i  `* Re: Can D simulated by H terminate normally? --- Message_ID Provided26Richard Damon
19 May 24         ii                i   `* Re: Can D simulated by H terminate normally? --- Message_ID Provided25olcott
19 May 24         ii                i    `* Re: Can D simulated by H terminate normally? --- Message_ID Provided24Richard Damon
19 May 24         ii                i     `* Re: Can D simulated by H terminate normally? --- Message_ID Provided23olcott
19 May 24         ii                i      +* Re: Can D simulated by H terminate normally? --- Message_ID Provided15immibis
19 May 24         ii                i      i+* Re: Can D simulated by H terminate normally? --- Message_ID Provided9olcott
20 May 24         ii                i      ii`* Re: Can D simulated by H terminate normally? --- Message_ID Provided8immibis
20 May 24         ii                i      ii `* Re: Can D simulated by H terminate normally? --- Message_ID Provided7olcott
20 May 24         ii                i      ii  +* Re: Can D simulated by H terminate normally? --- Message_ID Provided3immibis
20 May 24         ii                i      ii  i`* Re: Can D simulated by H terminate normally? --- Message_ID Provided2olcott
21 May 24         ii                i      ii  i `- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
20 May 24         ii                i      ii  `* Re: Can D simulated by H terminate normally? --- Message_ID Provided3Richard Damon
20 May 24         ii                i      ii   `* Re: Can D simulated by H terminate normally? --- Message_ID Provided2olcott
21 May 24         ii                i      ii    `- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
19 May 24         ii                i      i`* Re: Can D simulated by H terminate normally? --- Message_ID Provided5olcott
19 May 24         ii                i      i +- Re: Can D simulated by H terminate normally? --- Message_ID Provided1Richard Damon
20 May 24         ii                i      i `* Re: Can D simulated by H terminate normally? --- Message_ID Provided3immibis
19 May 24         ii                i      `* Re: Can D simulated by H terminate normally? --- Message_ID Provided7Richard Damon
20 May 24         ii                `* Re: Can D simulated by H terminate normally? Message_ID Provided V230olcott
29 Apr 24         i+* Re: Can D simulated by H terminate normally?5Alan Mackenzie
14 May 24         i`* Is Richard a Liar?2olcott
28 Apr 24         +* Re: Can D simulated by H terminate normally?2olcott
28 Apr 24         `* Re: Can D simulated by H terminate normally?22olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal