Liste des Groupes | Revenir à c theory |
On 3/8/2025 9:03 AM, olcott wrote:Until you understand how and why this is necessaryOn 3/8/2025 2:47 AM, Fred. Zwarts wrote:Apparently you don't understand that inputs to a termination analyzer, simulating or otherwise, are specified by the specification that is the halting function:>>
So, we agree that any simulator that tries to simulate *itself* cannot possibly reach the end of its simulation.
Apparently you don't understand that inputs to a
simulating termination analyzer specifying infinite
recursion or recursive emulation cannot possibly
reach their own final state and terminate normally.
(<X>,Y) maps to 1 if and only if X(Y) halts when executed directly
(<X>,Y) maps to 0 if and only if X(Y) does not halt when executed
And HHH(DD)==0 fails to meet the above specification
Les messages affichés proviennent d'usenet.