On 10/26/2025 8:16 PM, Kaz Kylheku wrote:
>
int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
>
HHH(DD) simulates DD that calls HHH(DD) to do this
again and again until HHH figures out what is up.
This is the test case that is in Halt7.c in the x86utm project
on GitHub.
However, the .obj file supplied doesn't seem to match.
I just noticed that at the bottom of the file we have this main:
int main()
{
Output("Input_Halts = ", HHH(DD)); // DD calls HHH(DD)---- Pathlogical self-reference
//Output("Input_Halts = ", HHH(DDD));
//Output("Input_Halts = ", HHH(Infinite_Loop));
//Output("Input_Halts = ", HHH(Infinite_Recursion));
}
But what I'm observing is that HHH is simulating DDD. DD makes no
run-time appearance at all.
Can you fix the discrepancy?
Can you update Halts7.obj so that it matches the source code,
and HHH called from main simulates DD, and not DDD?
--
TXR Programming Language: http://nongnu.org/txr
Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
Mastodon: @Kazinator@mstdn.ca
Les messages affichés proviennent d'usenet.