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

Текущая версия на 02:30, 9 ноября 2011

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

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

Версия 02:15, 9 ноября 2011 (просмотреть исходный код) Kirelagin (обсуждение \| вклад) (Новая страница: «Последняя теорема — какая-то херня. Надо нормально сделать. ~~~»)		Текущая версия на 02:30, 9 ноября 2011 (просмотреть исходный код) Kirelagin (обсуждение \| вклад)
Строка 1:		Строка 1:
	Последняя теорема — какая-то херня. Надо нормально сделать. [[Участник:Kirelagin\|Кирилл Елагин]]		Последняя теорема — какая-то херня. Надо нормально сделать. [[Участник:Kirelagin\|Кирилл Елагин]]
		+
		+	Надо явно привести алгоритмы удаления недостижимых и непорождающих нетерминалов и доказать, что язык грамматики от этого не изменится. [[Участник:Kirelagin\|Кирилл Елагин]]