Re: DD correctly simulated by HH --- never stops running without aborting its simulation

Liste des GroupesRevenir à c theory 
Sujet : Re: DD correctly simulated by HH --- never stops running without aborting its simulation
De : news2 (at) *nospam* immibis.com (Rafael Doofenschmirtz)
Groupes : comp.theory sci.logic
Date : 06. Jun 2024, 20:49:32
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3t0bs$1infa$2@dont-email.me>
References : 1
User-Agent : Mozilla Thunderbird
On 6/06/24 20:35, olcott wrote:
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
   If simulating halt decider H correctly simulates its input D
   until H correctly determines that its simulated D would never
   stop running unless aborted then
    H can abort its simulation of D and correctly report that D
   specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words10/13/2022>
 *Try to show how this DD correctly simulated by any HH ever*
*stops running without having its simulation aborted by HH*
 _DD()
[00001e12] 55         push ebp
[00001e13] 8bec       mov  ebp,esp
[00001e15] 51         push ecx
[00001e16] 8b4508     mov  eax,[ebp+08]
[00001e19] 50         push eax      ; push DD
[00001e1a] 8b4d08     mov  ecx,[ebp+08]
[00001e1d] 51         push ecx      ; push DD
[00001e1e] e85ff5ffff call 00001382 ; call HH
 
after HH returns 0, the program counter proceeds to address 00001e23, and then, a few instructions later DD also returns

Date Sujet#  Auteur
6 Jun 24 * DD correctly simulated by HH --- never stops running without aborting its simulation15olcott
6 Jun 24 +* Re: DD correctly simulated by HH --- never stops running without aborting its simulation4Rafael Doofenschmirtz
7 Jun 24 i`* Re: DD correctly simulated by HH --- never stops running without aborting its simulation3Mikko
7 Jun 24 i `* Re: DD correctly simulated by HH --- never stops running without aborting its simulation2olcott
7 Jun 24 i  `- Re: DD correctly simulated by HH --- never stops running without aborting its simulation1Richard Damon
7 Jun 24 +- Re: DD correctly simulated by HH --- never stops running without aborting its simulation1Richard Damon
7 Jun 24 +* Re: DD correctly simulated by HH --- never stops running without aborting its simulation4Mikko
7 Jun 24 i`* Re: DD correctly simulated by HH --- never stops running without aborting its simulation3olcott
7 Jun 24 i +- Re: DD correctly simulated by HH --- never stops running without aborting its simulation1Richard Damon
8 Jun 24 i `- Re: DD correctly simulated by HH --- never stops running without aborting its simulation1Mikko
7 Jun 24 `* Re: DD correctly simulated by HH --- never stops running without aborting its simulation5Fred. Zwarts
7 Jun 24  `* Re: DD correctly simulated by HH --- never stops running without aborting its simulation4olcott
7 Jun 24   +- Re: DD correctly simulated by HH --- never stops running without aborting its simulation1olcott
7 Jun 24   +- Re: DD correctly simulated by HH --- never stops running without aborting its simulation1Fred. Zwarts
7 Jun 24   `- Re: DD correctly simulated by HH --- never stops running without aborting its simulation1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal