Разработка компиляторов

       

Вывод в деревянной грамматике


Выводом в грамматике назовем последовательность троек

(p1,v1,R1),(p2,v2,R2),…,(pk,vk,Rk)

каждая из которых состоит из образца pi, вершины и правила Ri , таких, что образец в каждой тройке, исключая первую, выведен применением правила из предыдущей тройки к образцу из предыдущей тройки относительно вершины из предыдущей тройки.

Для произвольных образцов p1 и pk определим DG(p1,pk) как множество всех выводов pk из p1.



Содержание раздела