Правый вывод

Материал из WEGA
Перейти к навигации Перейти к поиску

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

Литература

[Ахо-Ульман],

[Касьянов/95],

[Касьянов-Поттосин]