Liste des Groupes | Revenir à c theory |
Am Fri, 11 Jul 2025 16:13:38 -0500 schrieb olcott:HHH(DDD) simulates its input until it sees thatOn 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 anythingOnly because it is aborted in turn.
at all.
The *input*, being the code of DDD,--
doesn't do anything at all since it is just a representation. This
representation has reachable code to abort.
Les messages affichés proviennent d'usenet.