Изменения

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

Класс NL

267 байт добавлено, 14:54, 8 апреля 2010
Нет описания правки
Используя определение '''[[Класс NSPACE|NSPACE]]''' можно формализовать определение: '''NL''' = '''NSPACE'''(log ''n'').
 
Естественно назвать множество языков, дополнение до которых принадлежит '''NL''', классом '''co-NL'''. [[Теорема Иммермана]] гласит, что '''NL''' = '''co-NL'''.
165
правок

Навигация