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

Текущая версия на 09:55, 4 августа 2008

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

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