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

DSPACE — различия между версиями

Материал из CustisWiki

Перейти к: навигация, поиск
м (реплицировано из внутренней CustisWiki)
 
м ({{replicate-from-custiswiki-to-lib}})
(нет различий)

Версия 16:59, 6 декабря 2005

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

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


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

Репликация: База Знаний «Заказных Информ Систем» → «DSPACE»