вопрос по теории формальных языков.

[Voigosh]

у меня есть лемма  по материалу из изложенного курса.
Задача в том, что нужно более подробно изложить их доказательство. вот что  я представила.
Определение
Пусть RϵQ.
1). Высота R есть 1 (h(R)= 1) <=>, когда для произвольного R’∈Q, из того, что для произвольного R’∈Q, из того, что существует такие x,y ∈ (A∪Q)*,  что R→xR’y∈P, следует, что R и R’ сводимы.
2). Пусть условие 1) настоящего определения не выполнимы для R.
Рассмотрим множество
U = { R’ | R’∈(Q\D(R)); R”∈ D(R); x,y∈ (A∪Q)*; R”→xR’y∈P}.
Положим
h(R)= max{h(R’)+1| R’∈U}.
Лемма.
Из определения (написано ранее) корректно определяем высоту всякого R∈Q. Высота произвольного символа R∈Q не превосходим |Q|.
Доказательство.
Фактически из определения прямо описываем способ вычисления высоты символа(идем индукцией по высоте символа), т.е.
Сначала высота 1 будет приписана всем символам, из которых за один шаг достижимы лишь сводимые с ними символы и символы, которым уже приписана высота на предыдущих  шагах.
Пусть RϵQ.
1). Высота R есть 1 (h(R)= 1) <=>, когда для произвольного R’∈Q, из того, что для произвольного R’∈Q, из того, что существует такие x,y ∈ (A∪Q)*,  что R→xR’y∈P, следует, что R и R’ сводимы.
2). Пусть условие 1) настоящего определения не выполнимы для R.
Рассмотрим множество
U = { R’ | R’∈(Q\D(R)); R”∈ D(R); x,y∈ (A∪Q)*; R”→xR’y∈P}.
Положим
h(R)= max{h(R’)+1| R’∈U}.
Из того, что R''ϵD(R), следует : R-> x'R''y', R''-> xR'y т.к. R' ϵ Q\D(R), а R'' ϵD(R),то мы никогда не сможем вернуться обратно к символу R(следует из определения).
Как это следует из определений?
Следовательно, высота h(R') ≠|Q|, и поэтому max(h(R')+1,R' ϵU) ≤ |Q|∎
Высотой рассматриваемой грамматики G, в записи h(G), будем называть max{ h(R)| R∈Q}.
Высотой КС-языка L будем называть минимальную высоту КС-грамматики, задающей этот язык L.
Заметим, что два нетерминала одинаковой высоты не обязаны быть сводимы.

  Какой можно  привести пример КС-грамматик, у которых есть нетерминалы одинаковой высоты как сводимые, так и несводимые?
 вот то что выделено,могли бы с этим помочь?