Liste des Groupes | Revenir à c theory |
On 7/3/2024 9:11 AM, joes wrote:Yes, DDD does not halt. But HHH aborts simulating it.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.
DDD correctly simulated by HHH cannot possibly do that.
Les messages affichés proviennent d'usenet.