Дерево редукций

Дерево редукций (Reduction tree) - дерево, определяемое для заданных цепочки [math]\displaystyle{ \alpha }[/math] и контекстно-свободной грамматики следующим образом: корню дерева соответствует цепочка [math]\displaystyle{ \alpha }[/math]; если с некоторой вершиной [math]\displaystyle{ p }[/math] сопоставлена цепочка [math]\displaystyle{ \beta }[/math], то для каждой возможной редукции [math]\displaystyle{ \beta }[/math] заводится новая вершина --- преемник вершины [math]\displaystyle{ p }[/math], которой и ставится в соответствие цепочка, получаемая в результате этой редукции.

Литература

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

[Евстигнеев-Касьянов/94]