Правый вывод

Правый вывод (Rightmost derivation) - такой вывод [math]\displaystyle{ \alpha_0,\alpha_1,\ldots,\alpha_n }[/math] в контекстно-свободной грамматике, что для любого [math]\displaystyle{ i }[/math] цепочка [math]\displaystyle{ \alpha_i }[/math] получается из [math]\displaystyle{ \alpha_{i-1} }[/math] заменой в ней самого правого нетерминала.