Liste des Groupes | Revenir à theory |
On 8/9/2024 2:45 PM, Fred. Zwarts wrote:A stupid an irrelevant remark when we are talking about a HHH that aborts and halts. HHH is required to halt. Dreams of another HHH that does not halt are no substitute for facts.Op 09.aug.2024 om 19:02 schreef olcott:That is a pretty stupid requirement for non-halting inputs.On 8/9/2024 10:42 AM, Fred. Zwarts wrote:>Op 09.aug.2024 om 17:04 schreef olcott:>>>> void Infinite_Loop()>{>
HERE: goto HERE;
}
>
The correct simulation of the above never halts.
void DDD()
{
HHH(DDD);
return;
}
>
A correct simulation of N instructions of DDD <is>
A correct simulation of N instructions of DDD.
Irrelevant.
We are not interested in the simulation of only a few instructions, but in the simulation of the whole halting program, to determine its halting behaviour.
>
You don't even know what halting is yet.Another irrelevant and false remark.
Les messages affichés proviennent d'usenet.