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.
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.
On 3/11/2025 6:15 PM, olcott wrote:
typedef void (*ptr)();=20
int HHH(ptr P);
=20
void Infinite_Loop()
{
=C2=A0=C2=A0 HERE: goto HERE;
=C2=A0=C2=A0 return;
}
=20
void Infinite_Recursion()
{
=C2=A0=C2=A0 Infinite_Recursion();
=C2=A0=C2=A0 return;
}
=20
void DDD()
{
=C2=A0=C2=A0 HHH(DDD);
=C2=A0=C2=A0 return;
}
=20
int DD()
{
=C2=A0=C2=A0 int Halt_Status =3D HHH(DD);
=C2=A0=C2=A0 if (Halt_Status)
=C2=A0=C2=A0=C2=A0=C2=A0 HERE: goto HERE;
=C2=A0=C2=A0 return Halt_Status;
}
=20
When HHH correctly emulates N steps of the above
functions none of them can possibly reach their own
"return" instruction and terminate normally.
=20
Changing the input is not allowed.
Sysop: | Tetrazocine |
---|---|
Location: | Melbourne, VIC, Australia |
Users: | 7 |
Nodes: | 8 (0 / 8) |
Uptime: | 173:54:59 |
Calls: | 154 |
Files: | 21,500 |
Messages: | 76,574 |