Re: Every D(D) simulated by H presents non-halting behavior to H ###

Liste des GroupesRevenir à c theory 
Sujet : Re: Every D(D) simulated by H presents non-halting behavior to H ###
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theory
Date : 21. May 2024, 15:38:47
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v2ibln$kt66$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
User-Agent : Mozilla Thunderbird
On 21/05/24 15:54, olcott wrote:
A c function is correctly simulated when its machine language
instructions are emulated with an x86 emulator in the order
that they are specified by the x86 machine language of this
c function.  For non-terminating functions we can only correctly
simulate N machine language instructions.
If the simulator simulates a return instruction from main (program exits) but the next instruction is not a return instruction from main is it a correct simulation?

Date Sujet#  Auteur
17 May 24 * Re: Every D(D) simulated by H presents non-halting behavior to H ###175olcott
18 May 24 +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
18 May 24 `* Re: Every D(D) simulated by H presents non-halting behavior to H ###173Mikko
18 May 24  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###65olcott
18 May 24  i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
19 May 24  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###63DFS
19 May 24  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8immibis
20 May 24  i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7Chris M. Thomasson
20 May 24  i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###6Keith Thompson
20 May 24  i i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Chris M. Thomasson
20 May 24  i i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Keith Thompson
21 May 24  i i  i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
20 May 24  i i  +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
20 May 24  i i  `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Kenny McCormack
19 May 24  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###52olcott
19 May 24  i i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
19 May 24  i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###50Richard Damon
19 May 24  i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###49Chris M. Thomasson
20 May 24  i i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###48immibis
20 May 24  i i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ###47David Brown
20 May 24  i i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ###4Kenny McCormack
20 May 24  i i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Alan Mackenzie
20 May 24  i i    i `* Topicality: Who really cares? (Was: Every D(D) simulated by H presents non-halting behavior to H ###)2Kenny McCormack
21 May 24  i i    i  `- Re: Topicality: Who really cares? (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1David Brown
20 May 24  i i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8Chris M. Thomasson
21 May 24  i i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7David Brown
21 May 24  i i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###6James Kuyper
21 May 24  i i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###5David Brown
21 May 24  i i    i   +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
21 May 24  i i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Keith Thompson
22 May 24  i i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H ###1David Brown
24 May 24  i i    i   `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
21 May 24  i i    `* Re: Every D(D) simulated by H presents non-halting behavior to H ###34immibis
21 May 24  i i     +* Lying meets the standard of losing defamation cases2olcott
21 May 24  i i     i`- Re: Lying meets the standard of losing defamation cases1Richard Damon
21 May 24  i i     +* Lying meets the standard of losing defamation cases2olcott
21 May 24  i i     i`- Re: Lying meets the standard of losing defamation cases1Richard Damon
21 May 24  i i     +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Keith Thompson
21 May 24  i i     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Kenny McCormack
21 May 24  i i     i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1immibis
21 May 24  i i     +* Re: Every D(D) simulated by H presents non-halting behavior to H ###16David Brown
21 May 24  i i     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###15James Kuyper
21 May 24  i i     i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###14immibis
21 May 24  i i     i  +- Thought control??? (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1Kenny McCormack
22 May 24  i i     i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8Richard Damon
22 May 24  i i     i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7Keith Thompson
22 May 24  i i     i  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3olcott
22 May 24  i i     i  i i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1immibis
22 May 24  i i     i  i i`- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
22 May 24  i i     i  i `* Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###)3Kenny McCormack
22 May 24  i i     i  i  `* Re: Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###)2immibis
22 May 24  i i     i  i   `- Re: Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1Kenny McCormack
22 May 24  i i     i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###4James Kuyper
22 May 24  i i     i   +* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Kenny McCormack
22 May 24  i i     i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Kaz Kylheku
22 May 24  i i     i   `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1David Brown
21 May 24  i i     `* Re: Every D(D) simulated by H presents non-halting behavior to H ###10Chris M. Thomasson
21 May 24  i i      +* Subway (Was: Every D(D) simulated by H presents non-halting behavior to H ###)2Kenny McCormack
21 May 24  i i      i`- Re: Subway (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1Chris M. Thomasson
21 May 24  i i      `* Re: Every D(D) simulated by H presents non-halting behavior to H ###7Keith Thompson
21 May 24  i i       +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Chris M. Thomasson
21 May 24  i i       i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
21 May 24  i i       i`- Welcome! (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1Kenny McCormack
22 May 24  i i       `* Re: Every D(D) simulated by H presents non-halting behavior to H ###3immibis
24 May 24  i i        `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2James Kuyper
24 May 24  i i         `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
19 May 24  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Chris M. Thomasson
19 May 24  i  `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Jeff Barnett
18 May 24  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###107James Kuyper
18 May 24   +* Re: Every D(D) simulated by H presents non-halting behavior to H ###13Richard Damon
18 May 24   i+* Re: Every D(D) simulated by H presents non-halting behavior to H ###7Fred. Zwarts
18 May 24   ii+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
18 May 24   ii+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
18 May 24   ii`* Re: Every D(D) simulated by H presents non-halting behavior to H ###4James Kuyper
18 May 24   ii +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
19 May 24   ii `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2James Kuyper
20 May 24   ii  `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Mikko
18 May 24   i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###5James Kuyper
18 May 24   i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Richard Damon
18 May 24   i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###2James Kuyper
18 May 24   i i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Keith Thompson
18 May 24   i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
19 May 24   `* Re: Every D(D) simulated by H presents non-halting behavior to H ###93Mikko
19 May 24    `* Re: Every D(D) simulated by H presents non-halting behavior to H ###92olcott
19 May 24     +* Re: Every D(D) simulated by H presents non-halting behavior to H ###90Mikko
19 May 24     i+* Re: Every D(D) simulated by H presents non-halting behavior to H ###25olcott
19 May 24     ii+* Re: Every D(D) simulated by H presents non-halting behavior to H ###14Richard Damon
19 May 24     iii`* Re: Every D(D) is correctly simulated by H13olcott
19 May 24     iii `* Re: Every D(D) is correctly simulated by H12Richard Damon
19 May 24     iii  `* Re: Every D(D) is correctly simulated by H11olcott
19 May 24     iii   +* Re: Every D(D) is correctly simulated by H7Richard Damon
19 May 24     iii   i+* Re: Every D(D) is correctly simulated by H2olcott
20 May 24     iii   ii`- Re: Every D(D) is correctly simulated by H1Richard Damon
19 May 24     iii   i`* Re: Every D(D) is correctly simulated by H4olcott
20 May 24     iii   i `* Re: Every D(D) is correctly simulated by H3Richard Damon
20 May 24     iii   i  `* Re: Every D(D) is correctly simulated by H2olcott
21 May 24     iii   i   `- Re: Every D(D) is correctly simulated by H1Richard Damon
20 May 24     iii   `* Re: Every D(D) is correctly simulated by H3Mikko
20 May 24     iii    `* Re: Every D(D) is correctly simulated by H2olcott
21 May 24     iii     `- Re: Every D(D) is correctly simulated by H1Richard Damon
20 May 24     ii`* Re: Every D(D) simulated by H presents non-halting behavior to H ###10Mikko
21 May 24     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###64olcott
19 May 24     `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal