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