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