Обсуждение:Удаление бесполезных символов из грамматики
Версия от 02:30, 9 ноября 2011; Kirelagin (обсуждение | вклад)
Последняя теорема — какая-то херня. Надо нормально сделать. Кирилл Елагин
Надо явно привести алгоритмы удаления недостижимых и непорождающих нетерминалов и доказать, что язык грамматики от этого не изменится. Кирилл Елагин