03.com.ua- свободная медицинская энциклопедия. Каждый зарегистрированый участник может редактировать статьи
Машины, которые всегда останавливаются
Машины, которые всегда останавливаются (также называют решателями). В теории вычислений решатель (Sipser, 1996) — любая абстрактная машина или модель вычислений, которая гарантированно остановится на любом входе.
См. также
en:Machine that always halts hr:Stroj koji uvijek staje it:Macchina che termina sempre
