DSPACE

Материал из свободной русской энциклопедии «Традиция». Вы можете дополнить или исправить его.
Перейти к навигации Перейти к поиску

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

Более формально:

Язык LΣL \subset \Sigma^* принадлежит классу DSPACE(s(n)){\cal DSPACE}(s(n)), если существует машина Тьюринга TT, разрешающая данный язык, и число используемых ею ячеек ленты на входе длины nn не превышает s(n)s(n).


По крайней мере часть этого текста взята с ресурса http://lib.custis.ru/ под лицензией GDFL.Список авторов доступен на этом ресурсе в статье под тем же названием.