Класс L — различия между версиями
(Новая страница: «Класс языков '''L''' — множество языков, разрешимых на детерминированной машине Тьюринга с и…») |
м (rollbackEdits.php mass rollback) |
||
| (не показано 7 промежуточных версий 3 участников) | |||
| Строка 1: | Строка 1: | ||
| − | Класс языков '''L''' — множество языков, разрешимых на детерминированной машине Тьюринга с использованием | + | Класс языков '''L''' — множество языков, разрешимых на детерминированной машине Тьюринга с использованием ''O''(log ''n'') дополнительной памяти для входа длиной ''n''. |
| + | |||
| + | Интерпретировать определение можно по-разному. | ||
| + | Например, при рассмотрении машин Тьюринга входная лента используется лишь для чтения, а размер рабочей ленты составляет ''O''(log ''n''). | ||
| + | Или на ''RAM''-машинах используется ''O''(1) дополнительных переменных. | ||
| + | |||
| + | Обобщением класса '''L''' является класс '''[[NL]]''' — отличие состоит в использовании недетерминированной машины Тьюринга вместо детерминированной. | ||
| + | Детерминированная машина Тьюринга является частным случаем недетерминированной, поэтому '''L''' ⊆ '''NL'''. | ||
Текущая версия на 19:25, 4 сентября 2022
Класс языков L — множество языков, разрешимых на детерминированной машине Тьюринга с использованием O(log n) дополнительной памяти для входа длиной n.
Интерпретировать определение можно по-разному. Например, при рассмотрении машин Тьюринга входная лента используется лишь для чтения, а размер рабочей ленты составляет O(log n). Или на RAM-машинах используется O(1) дополнительных переменных.
Обобщением класса L является класс NL — отличие состоит в использовании недетерминированной машины Тьюринга вместо детерминированной. Детерминированная машина Тьюринга является частным случаем недетерминированной, поэтому L ⊆ NL.
