03.com.ua- свободная медицинская энциклопедия. Каждый зарегистрированый участник может редактировать статьи

Машины, которые всегда останавливаются: различия между версиями

Материал из 03.com.ua.
Перейти к навигации Перейти к поиску
м (1 версий)
(нет различий)

Версия 19:27, 28 октября 2007

Машины, которые всегда останавливаются (также называют решателями). В теории вычислений решатель (Sipser, 1996) — любая абстрактная машина или модель вычислений, которая гарантированно остановится на любом входе.

См. также

Шаблон:Stub

en:Machine that always halts hr:Stroj koji uvijek staje it:Macchina che termina sempre