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