Класс DSPACE(s(n)), означает класс задач,
разрешимых на машине Тьюринга,
использующей не более s(n) ячеек.
Более формально:
Язык принадлежит классу ,
если существует машина ТьюрингаT, разрешающая данный язык, и число используемых ею ячеек ленты на входе длины n не превышает s(n).
Любые правки этой статьи будут перезаписаны при следующем сеансе репликации. Если у вас есть серьезное замечание по тексту статьи, запишите его в раздел «discussion».
