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

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

Версия 17:01, 7 апреля 2010

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

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