Да, не удался намёк.
Нужно предотвратить ситуацию

, после которой новоявленная

влево уже не пойдёт, если не написать ещё кучу правил (к тому же, таких, что без

грамматика всё равно не будет контекстно-зависимой — это могло бы быть важно где-нибудь), и аналогичную ситуацию с

. По-моему, лучше «деактивировать» продукцию

— просто добавим

, и сортировку делаем только при наличии

, а новые

получаем только из

.
(И тут я спутал

с

по отношению к предыдущему сообщению, но обозначение-то не так важно, если везде одинаковое.)
Ещё подсказка: правил, в которых

заменяется на

, три штуки, то же самое с

, и по правилу уничтожения для

и

. Остальные вы уже писали или видели.
-- Вс дек 21, 2014 20:19:51 --(Оффтоп)
Только сейчас дошло, что самая лучшая подсказка для построения грамматики — пример(ы) вывода. Правда, она и слишком явная, но в этом направлении можно было бы что-нибудь придумать…