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

Материал из WEGA
Версия от 13:38, 13 октября 2009; Glk (обсуждение | вклад) (Создана новая страница размером '''Дерево редукций''' (''Reduction tree'') - дерево, определяемое для заданных цепочки ...)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

Дерево редукций (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]