Liste des Groupes | Revenir à c theory |
On 2/6/2025 10:52 AM, Bonita Montero wrote:Have you been diagnosed with a psychic disorder ?Am 05.02.2025 um 16:11 schrieb olcott:Anyone that understands the C programming languageOn 2/5/2025 1:44 AM, Bonita Montero wrote:>Am 05.02.2025 um 04:38 schrieb olcott:>This treatment does not typically last very long and>
will be immediately followed by a riskier fourth line
of treatment that has an initial success rate much higher
than its non progression mortality rate.
>
Halting problem solved !
>
The halting problem proof input does specify non-halting
behavior to its decider.
>
https://www.researchgate.net/ publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D
LOOOOOOOOL
sufficiently well (thus not confused by the unreachable
"if" statement) correctly understands that DD simulated
by HHH cannot possibly reach its own return instruction.
When we add a little computer science to this then we
know that the input to HHH does not halt.
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);
}
Les messages affichés proviennent d'usenet.