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

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

Материал из CustisWiki

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

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

  1. REDIRECT discopal:DSPACE