Sujet : Re: HHH maps its input to the behavior specified by it --- never reaches its halt state
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 09. Aug 2024, 20:56:14
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v95s8v$26nek$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
User-Agent : Mozilla Thunderbird
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.
You don't even know what halting is yet.
*Jeff said it best*
On 8/2/2024 11:32 PM, Jeff Barnett wrote:
> ...In some formulations, there are specific states
> defined as "halting states" and the machine only
> halts if either the start state is a halt state...
> ...these and many other definitions all have
> equivalent computing prowess...
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer