Изменения

Перейти к: навигация, поиск

Класс L

280 байт добавлено, 16:27, 15 апреля 2010
Нет описания правки
Класс языков '''L''' — множество языков, разрешимых на детерминированной машине Тьюринга с использованием ''O''(log ''n'') дополнительной памяти для входа длинной ''n''.
Иначе говоряИнтерпретировать определение можно по-разному. Например, языки должны быть разрешимы при рассмотрении машин Тьюринга, входная лента используется лишь для чтения, а размер рабочей ленты составляет ''O''(log ''n''). Или на ''RAM''-машинах, использующих конечное число используется ''O''(''n'') дополнительных переменных.
Обобщением класса '''L''' является класс '''[[Класс NL|NL]]''' — отличие состоит в использовании недетерминированной машины Тьюринга. Разумеется, что '''L''' ⊆ '''NL'''.
165
правок

Навигация