Изменения

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

Классы L, NL, coNL

4 байта добавлено, 20:54, 4 июня 2012
Нет описания правки
{{Определение
|definition='''Класс <tex>\mathrm{coNL}</tex>''' — множество языков, дополнение до которых принадлежит <tex>\mathrm{NL}</tex>.<br><tex>\mathrm{coNL} = \{L\bigm| \overline{L} \in \mathrm{NL}\}</tex>.
}}
editor
143
правки

Навигация