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