Изменения
→Проблема остановки
==Проблема остановки==
{{Определение
|definition= Для данной машины Тьюринга и входных данных для нее Проблема остановки {{---}} определить, остановится ли она данная машина Тьюринга на данных входных данных когда-либо (запущенная на этих данных) или нет.
}}
{{Теорема
