Персональные инструменты
 

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

Материал из CustisWiki

Перейти к: навигация, поиск
м ({{replicate-from-custiswiki-to-lib}})
м (Содержимое страницы заменено на «#REDIRECT [[discopal:{{PAGENAME}}]]»)
 
(не показаны 2 промежуточные версии 2 участников)
Строка 1: Строка 1:
Класс ''NSPACE(s(n))'', означает класс задач,
+
#REDIRECT [[discopal:{{PAGENAME}}]]
разрешимых на [[Недетерминированная машина Тьюринга|недетерминированной машине Тьюринга]],
+
использующей не более ''s(n)'' ячеек.
+
 
+
Более формально:
+
Язык <amsmath>L \subset \Sigma^*</amsmath> принадлежит классу <amsmath>{\cal NSPACE}(s(n))</amsmath>,
+
если существует [[недетерминированная машина Тьюринга]] ''T'', разрешающая данный язык, и число используемых ею ячеек ленты  на входе длины ''n'' не превышает ''s(n)''.
+
 
+
[[Category:Классы сложности]]
+
{{replicate-from-custiswiki-to-lib}}
+

Текущая версия на 20:39, 13 июня 2011

  1. REDIRECT discopal:NSPACE