Последняя теорема — какая-то херня. Надо нормально сделать. [[Участник:Kirelagin|Кирилл Елагин]]
Надо явно привести алгоритмы удаления недостижимых и непорождающих нетерминалов и доказать, что язык грамматики от этого не изменится. [[Участник:Kirelagin|Кирилл Елагин]]