Изменения

Перейти к: навигация, поиск

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

Нет изменений в размере, 02:13, 9 ноября 2011
м
Нет описания правки
|id=th1
|statement=
Грамматика <tex>\Gamma</tex> не содержит бесполезных нетерминалов <tex>\Leftrightarrow</tex> Грамматика грамматика <tex>\Gamma</tex> не содержит ни недостижимых нетерминалов, ни непорождающих.
|proof=
''Необходимость.'' Очевидно, т.к. недостижимые и непорождающие нетерминалы являются бесполезными.

Навигация