Приведение грамматики

[Tookser]

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

[Xaositect]

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