Правый вывод

Правый вывод (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] заменой в ней самого правого нетерминала.

Литература

• Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. — М.: Мир, 1978. — Т. 1,2.

• Касьянов В.Н. Лекции по теории формальных языков, автоматов и сложности вычислений. — Новосибирск: НГУ, 1995.

• Касьянов В.Н., Поттосин И.В. Методы построения трансляторов. — Новосибирск: Наука. Сиб. отд-ние, 1986.