165
правок
Изменения
Нет описания правки
Естественно назвать множество языков, дополнение до которых принадлежит '''NL''', классом '''co-NL'''. [[Теорема Иммермана]] гласит, что классы '''NL''' и '''co-NL''' совпадают.
Вопросы о равенстве класса '''NL''' классам '''L''' и '''P''' открыты.
