Liste des Groupes | Revenir à theory |
Am Sat, 22 Mar 2025 08:43:03 -0500 schrieb olcott:
typedef void (*ptr)();There is also no Infinite_Recursion.
int HHH(ptr P);
int main()
{
HHH(Infinite_Recursion);
}
There is no program DDD in the above code.
Since no Turing machine M can ever compute the mapping from the behavior
of any directly executed TM2 referring to the behavior of the directly
executed DDD has always been incorrect. Halt Deciders always report on
the behavior that their input finite string specifies.
Please explain what behaviour the description of a TM "specifies","Bill sang a song" describes what Bill did.
and which TM the input describes.
_III()In every case that does not involve pathological self-reference the...which is the direct execution. Not much of a coincidence.
behavior that the finite string specifies is coincidentally the same
behavior as the direct execution of the corresponding machine. The
actual measure, however, has always been the behavior that the finite
string input specifies.
Les messages affichés proviennent d'usenet.