Левый вывод

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

Левый вывод (Leftmost 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],

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