Inwieweit kann ein Algorithmus die zeitliche Komplexität eines beliebigen Eingabeprogramms vorhersagen?
Das Problem "Anhalten" gibt an, dass es unmöglich ist, ein Programm zu schreiben, mit dem festgestellt werden kann, ob ein anderes Programm anhält, und zwar für alle möglichen Eingabeprogramme . Ich kann jedoch sicherlich ein Programm schreiben, das die Laufzeit eines Programms wie folgt berechnen...