Класс L

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

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

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