Бюрократы, editor, Администраторы
422
правки
Изменения
м
Нет описания правки
# Если на шаге 2 множество изменилось, то повторить шаг 2.
=== Доказательство корректности ===
{{Теорема
|statement = Описанный выше алгоритм находит все <tex>\varepsilon</tex>-порождающие нетерминалы грамматики <tex>G</tex>.
