Персональные инструменты
 

NSPACE

Материал из CustisWiki

Версия от 07:40, 7 декабря 2005; BenderBot (обсуждение | вклад) (реплицировано из внутренней CustisWiki)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Это снимок страницы. Он включает старые, но не удалённые версии шаблонов и изображений.
Перейти к: навигация, поиск

Класс NSPACE(s(n)), означает класс задач, разрешимых на недетерминированной машине Тьюринга, использующей не более s(n) ячеек.

Более формально: Язык принадлежит классу , если существует недетерминированная машина Тьюринга T, разрешающая данный язык, и число используемых ею ячеек ленты на входе длины n не превышает s(n).


Внимание! Эта статья была создана путем автоматического реплицирования из внутренней базы знаний компании Заказные Информ Системы. Любые правки этой статьи могут быть перезаписаны при следующем сеансе репликации. Если у вас есть серьезное замечание по тексту статьи, запишите его в раздел «discussion».