Разработка компиляторов
Вывод в деревянной грамматике
Выводом в грамматике назовем последовательность троек
(p1,v1,R1),(p2,v2,R2),…,(pk,vk,Rk)
каждая из которых состоит из образца pi, вершины и правила Ri , таких, что образец в каждой тройке, исключая первую, выведен применением правила из предыдущей тройки к образцу из предыдущей тройки относительно вершины из предыдущей тройки.
Для произвольных образцов p1 и pk определим DG(p1,pk) как множество всех выводов pk из p1.
