From Newsgroup: comp.lang.c
Experts in the C programming language will know that DD
correctly simulated by HHH cannot possibly reach its own
"if" statement.
The finite string DD specifies non-terminating recursive
simulation to simulating termination analyzer HHH. This
makes HHH necessarily correct to reject its input as
non-halting.
typedef void (*ptr)();
int HHH(ptr P);
int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
int main()
{
HHH(DD);
}
https://www.researchgate.net/publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D
https://github.com/plolcott/x86utm/blob/master/Halt7.c
has fully operational HHH and DD
The halting problem has always been a mathematical mapping
from finite strings to behaviors. That people do not comprehend
this shows the shallowness of the depth of the learned-by-rote
(lack of) understanding.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
--- Synchronet 3.20c-Linux NewsLink 1.2