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

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

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