
Для машины Тьюринга нет общего теста остановки программ
Представьте машину, которая выполняет инструкции по одной: если задачу можно описать конечным алгоритмом, машина Тьюринга способна её вычислить. Но это не означает, что она ответит на любой вопрос. Для некоторых программ нельзя заранее составить общий тест, который всегда выяснит, закончат они работу или нет.
Продолжите читать факты по этой теме.
Наука →




