Википедия

Проблема остановки: различия между версиями

Интерактивная навигация по истории
[отпатрулированная версия][отпатрулированная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
отмена правки 114232590 участника Jennyclark88 (обс.)
Метка: отмена
Нет описания правки
Строка 1:
'''Проблема остановки''' (или{{lang-en|Halting '''проблема останова'''problem}}) — это одна из проблем в [[теория алгоритмов|теории алгоритмов]]<ref>''Н.К.Верещагин, А.Шень'' [http://www.mccme.ru/free-books/shen/shen-logic-part3-2.pdf Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции]</ref>, которая может неформально быть поставлена в виде:
 
: ''Даны описание процедуры и её начальные входные данные. Требуется определить: завершится ли когда-либо выполнение процедуры с этими данными; либо, что процедура всё время будет работать без остановки.''
Источник — https://ru.wikipedia.org/wiki/Проблема_остановки