halting problem
Ein fundamentales Problem der theoretischen Informatik, das besagt, dass es keinen Algorithmus gibt, der für jedes beliebige Programm und jede Eingabe entscheidet, ob das Programm endet oder ewig weiterläuft.
A fundamental undecidable problem in computability theory.
-
Alan Turing bewies die Unlösbarkeit des Halteproblems.— Alan Turing proved the undecidability of the halting problem.
-
Das Halteproblem ist ein zentrales Konzept der theoretischen Informatik.— The halting problem is a central concept in theoretical computer science.
-
Man kann das Halteproblem nicht mit einem Algorithmus lösen.— The halting problem cannot be solved by an algorithm.
Синонимы
Unentscheidbarkeitsproblem