Правосторонний вывод

Правосторонним выводом цепочки $\alpha$ называется такой вывод цепочки $\alpha$, в котором каждая последующая цепочка получена из предыдущей путем замены по одному из правил самого правого встречающегося в строке нетерминала