Liste des Groupes | Revenir à theory |
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>after HH returns 0, the program counter proceeds to address 00001e23, and then, a few instructions later DD also returns
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
Les messages affichés proviennent d'usenet.