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

Материал из Викиконспекты
Версия от 02:30, 9 ноября 2011; Kirelagin (обсуждение | вклад)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

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

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