Машины, которые всегда останавливаются
Материал из Энциклопедии в свободной энциклопедии
 |
Эта страница требует существенной переработки.
Возможно, её необходимо Энциклофицировать, дополнить или переписать.
Пояснение причин и обсуждение в на странице Энциклопедия:К улучшению/1 февраля 2012. Дата постановки к улучшению в 1 февраля 2012. |
Машины, которые всегда останавливаются (также называют решателями). В теории вычислений решатель (Sipser, 1996) в любая абстрактная машина или модель вычислений, которая гарантированно остановится на любом входе.
[править] См. также
 |
Это заготовка статьи по математике. Вы можете помочь проекту, исправив и дополнив её. |
 |
Это заготовка статьи по информатике. Вы можете помочь проекту, исправив и дополнив её. |
