Liste des Groupes | Revenir à theory |
On 7/12/2025 6:27 PM, Richard Damon wrote:So?On 7/12/25 11:16 AM, olcott wrote:The direct execution is a different sequence of stepsOn 7/12/2025 5:52 AM, joes wrote:>Am Fri, 11 Jul 2025 16:13:38 -0500 schrieb olcott:>On 7/11/2025 3:59 AM, Fred. Zwarts wrote:>>As usual claims without evidence. If we do not change the input (which
aborts after a few cycles o simulation), then the simulating HHH could
reach the final halt state without abort.It is a very easily verified fact that the input never aborts anything>
at all.
Only because it is aborted in turn.
HHH(DDD) simulates its input until it sees that
DDD cannot possibly stop running unless aborted.
Then why does the direct execution of DDD halt?
>
because it is reaping the benefits of HHH having already
aborted its own input.
Les messages affichés proviennent d'usenet.