- Теорема Иммермана
-
Wikimedia Foundation. 2010.
Классы L и NL — Это статья о классах языков для детерминированной машины Тьюринга. Статья о unix утилите называется nl. Класс языков L множество языков, разрешимых на детерминированной машине Тьюринга с использованием дополнительной памяти для входа длиной n.… … Википедия
Класс L — Это статья о классах языков для детерминированной машины Тьюринга. Статья о unix утилите называется множество языков, разрешимых на детерминированной машине Тьюринга с использованием O(log(n)) дополнительной памяти для входа длинной n. Класс… … Википедия
Класс NL — Это статья о классах языков для детерминированной машины Тьюринга. Статья о unix утилите называется множество языков, разрешимых на детерминированной машине Тьюринга с использованием O(log(n)) дополнительной памяти для входа длинной n. Класс… … Википедия