Sujet : Re: Everyone makes sure to avoid addressing this exact point
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 12. Mar 2025, 09:55:15
Autres entêtes
Organisation : -
Message-ID : <vqri5j$2h976$2@dont-email.me>
References : 1 2
User-Agent : Unison/2.2
On 2025-03-11 22:31:57 +0000, dbush said:
On 3/11/2025 6:15 PM, olcott wrote:
typedef void (*ptr)();
int HHH(ptr P);
void Infinite_Loop()
{
HERE: goto HERE;
return;
}
void Infinite_Recursion()
{
Infinite_Recursion();
return;
}
void DDD()
{
HHH(DDD);
return;
}
int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
When HHH correctly emulates N steps of the above
functions none of them can possibly reach their own
"return" instruction and terminate normally.
Changing the input is not allowed.
Why not? There is no requirement that HHH should do anything useful
so it is free to do whatever it does.
-- Mikko