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

Материал из Викиконспекты
Перейти к: навигация, поиск
м
Строка 1: Строка 1:
Класс языков '''L''' — множество языков, разрешимых на детерминированной машине Тьюринга с использованием ''O''(log ''n'') дополнительной памяти для входа длинной ''n''.
+
Класс языков '''L''' — множество языков, разрешимых на детерминированной машине Тьюринга с использованием ''O''(log ''n'') дополнительной памяти для входа длиной ''n''.
  
 
Интерпретировать определение можно по-разному.  
 
Интерпретировать определение можно по-разному.  
 
Например, при рассмотрении машин Тьюринга входная лента используется лишь для чтения, а размер рабочей ленты составляет ''O''(log ''n'').  
 
Например, при рассмотрении машин Тьюринга входная лента используется лишь для чтения, а размер рабочей ленты составляет ''O''(log ''n'').  
Или на ''RAM''-машинах, используется ''O''(1) дополнительных переменных.
+
Или на ''RAM''-машинах используется ''O''(1) дополнительных переменных.
  
Обобщением класса '''L''' является класс '''[[Класс NL|NL]]''' — отличие состоит в использовании недетерминированной машины Тьюринга. Разумеется, что '''L''' ⊆ '''NL'''.
+
Обобщением класса '''L''' является класс '''[[NL]]''' — отличие состоит в использовании недетерминированной машины Тьюринга вместо детерминированной.  
 +
Детерминированная машина Тьюринга является частным случаем недетерминированной, поэтому '''L''' ⊆ '''NL'''.

Версия 16:40, 15 апреля 2010

Класс языков L — множество языков, разрешимых на детерминированной машине Тьюринга с использованием O(log n) дополнительной памяти для входа длиной n.

Интерпретировать определение можно по-разному. Например, при рассмотрении машин Тьюринга входная лента используется лишь для чтения, а размер рабочей ленты составляет O(log n). Или на RAM-машинах используется O(1) дополнительных переменных.

Обобщением класса L является класс NL — отличие состоит в использовании недетерминированной машины Тьюринга вместо детерминированной. Детерминированная машина Тьюринга является частным случаем недетерминированной, поэтому L ⊆ NL.