Обсуждение:Удаление бесполезных символов из грамматики

Последняя теорема — какая-то херня. Надо нормально сделать. Кирилл Елагин

Надо явно привести алгоритмы удаления недостижимых и непорождающих нетерминалов и доказать, что язык грамматики от этого не изменится. Кирилл Елагин