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