DSPACE

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

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

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

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


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