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