Liste des Groupes | Revenir à theory |
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:Then why does the direct execution of DDD halt?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.
Les messages affichés proviennent d'usenet.