Liste des Groupes | Revenir à c theory |
On 2/6/2025 10:52 AM, Bonita Montero wrote:And anyone that understand the halting problem knows that isn't the question being asked. The quesiton you NEED to ask is will the program described by the input halt when run?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 weNo, the program described by the input to HHH does halt if HHH(DDD) return 0.
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.