Liste des Groupes | Revenir à theory |
On 7/31/2024 3:54 AM, joes wrote:But it makes a *DIFFERENT* program DDD, that doesn't halt.Am Tue, 30 Jul 2024 16:13:55 -0500 schrieb olcott:On 7/30/2024 4:07 PM, joes wrote:>Am Tue, 30 Jul 2024 15:05:54 -0500 schrieb olcott:On 7/30/2024 1:48 PM, Fred. Zwarts wrote:Op 30.jul.2024 om 17:14 schreef olcott:On 7/30/2024 9:51 AM, Fred. Zwarts wrote:Op 30.jul.2024 om 16:21 schreef olcott:On 7/30/2024 1:52 AM, Mikko wrote:On 2024-07-29 14:07:53 +0000, olcott said:I proved otherwise. When the abort code is commented out then it keepsBut the abort is not commented out in the running code!
repeating again and again, thus conclusively proving that is must be
aborted or HHH never halts.I modified the original code by commenting out the abort and it does
endlessly repeat just like HHH correctly predicted.Yes, and that modification makes HHH not call itselfNot at all. It makes HHH stop aborting DDD.
So that HHH and DDD endlessly repeat.
But programs are different.but a differentIf your name is Charlie and your leg gets amputated you
program. You'd need to also comment out the outermost abort; then it
wouldn't halt, but if you change HHH to abort, you change all copies
of it at the same time (to keep the recursive call structure).
>
are still yourself, you don't get renamed to Bill.
Les messages affichés proviennent d'usenet.