|
Tookser |
|
|
|
Последний раз редактировалось Tookser 01.06.2016, 09:22, всего редактировалось 1 раз.
Почему в алгоритме приведения грамматики для удаления всех непорождающих и недостижимых символов сначала удаляют непорождающие символы, а потом недостижимые? В учебнике сказано, что если делать в обратном порядке, то грамматика может остаться неприведённой, т.е. останутся непорождающие или недостижимые символы. Однако примеров этому я не могу придумать.
P.S. И как доказать корректность алгоритма?
|
|
|
|
 |
|
Xaositect |
|
|
|
Потому что могут быть символы, достижимые только с помощью непорождающих символов. Если сначала удалить недостижимые, а потом непорождающие, то такие символы останутся
|
|
|
|
|
