Liste des Groupes | Revenir à c theory |
On 7/3/2024 9:11 AM, joes wrote:And doesn't show non-halting either.Am Tue, 02 Jul 2024 22:55:12 -0500 schrieb olcott:An aborted simulation does not count as halting.On 7/2/2024 10:50 PM, joes wrote:>Am Tue, 02 Jul 2024 14:46:38 -0500 schrieb olcott:On 7/2/2024 2:17 PM, Fred. Zwarts wrote:Op 02.jul.2024 om 21:00 schreef olcott:On 7/2/2024 1:42 PM, Fred. Zwarts wrote:Op 02.jul.2024 om 14:22 schreef olcott:On 7/2/2024 3:22 AM, Fred. Zwarts wrote:Op 02.jul.2024 om 03:25 schreef olcott:WTF? It only calls HHH, which you just said halts.HHH halts on input DDD.Whatever HHH does, it does not run forever but aborts.HHH repeats the process twice and aborts too soon.>
DDD is correctly emulated by any HHH that can exist which calls this
emulated HHH(DDD) to repeat the process until aborted (which may be
never).
>
DDD correctly simulated by HHH cannot possibly halt.
>
Reaching it own machine address 00002183 counts as halting.But HHH doesn't DO a "Correct Simulation" that can show that, it only does a PARTIAL simulation.
DDD correctly simulated by HHH cannot possibly do that.
_DDD()
[00002172] 55 push ebp ; housekeeping
[00002173] 8bec mov ebp,esp ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404 add esp,+04
[00002182] 5d pop ebp
[00002183] c3 ret
Size in bytes:(0018) [00002183]
Les messages affichés proviennent d'usenet.