Sujet : Re: HHH maps its input to the behavior specified by it --- never reaches its halt state
De : F.Zwarts (at) *nospam* HetNet.nl (Fred. Zwarts)
Groupes : comp.theoryDate : 10. Aug 2024, 09:07:32
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v97744$gh2a$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla Thunderbird
Op 09.aug.2024 om 21:56 schreef olcott:
On 8/9/2024 2:45 PM, Fred. Zwarts wrote:
Op 09.aug.2024 om 19:02 schreef olcott:
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.
>
That is a pretty stupid requirement for non-halting inputs.
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.
If you have nothing to say, don't reply.
You don't even know what halting is yet.
Another irrelevant and false remark.