проблема зупинки
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.
Фундаментальна проблема теоретичної інформатики, яка полягає у тому, що не існує жодного алгоритму, який для будь-якої програми та будь-якого вхідного даного визначав би, чи завершиться програма своєю роботою, чи буде виконуватися вічно.
-
Alan Turing bewies die Unlösbarkeit des Halteproblems.— Алан Тюрінг довів нерозв’язність проблеми зупинки.
-
Das Halteproblem ist ein zentrales Konzept der theoretischen Informatik.— Проблема зупинки є ключовим поняттям теоретичної інформатики.
-
Man kann das Halteproblem nicht mit einem Algorithmus lösen.— Проблему зупинки неможливо вирішити за допомогою алгоритму.