DSPACE
Перейти к навигации
Перейти к поиску
Класс DSPACE(s(n)), означает класс задач, разрешимых на машине Тьюринга, использующей не более ячеек.
Более формально:
Язык принадлежит классу , если существует машина Тьюринга , разрешающая данный язык, и число используемых ею ячеек ленты на входе длины не превышает .
По крайней мере часть этого текста взята с ресурса http://lib.custis.ru/ под лицензией GDFL.Список авторов доступен на этом ресурсе в статье под тем же названием.