Изменения

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

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

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

Навигация