Дерево левых выводов: различия между версиями

'''Дерево левых выводов''' (''[[Left-derivation tree]]'') — [[дерево]], определяемое для ''[[контекстно-свободная грамматика|контекстно-свободной грамматики]]'' следующим образом: [[корень|корню]] дерева поставлена в соответствие [[цепочка]], состоящая из единственного начального символа; если цепочка <math>\alpha</math> сопоставлена с некоторой [[вершина|вершиной]] <math>p</math> дерева, то для каждой цепочки <math>\beta</math>, получаемой левой подстановкой

из <math>\alpha</math>, заводится вершина дерева и объявляется [[преемник вершины|преемником вершины]] <math>p</math>.

* Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994.

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