Наследуемые атрибуты. 
Граф зависимостей

Значения атрибутов определяется семантическими правилами, связанными с продукциями грамматики. в зависимости от вида семантических правил атрибуты м.б. синтезируемыми и наследуемыми.

Синтезируемые — вычисляют свои значения не используя атрибуты своих «детей».

Наследуемые — вычисляют свои значения, обращаясь к «братьям» и «родителям».

Наследуемые атрибуты позволяют определить положение идентификатора относительно оператора присваивания.

Возьмем пример с наследуемым атрибутом. Для применения в общем случае нужно уметь строить граф зависимостей. Зависимости можно представить стрелками. Если есть фрагмент дерева разбора, то мы можем граничные символы, имеющие атрибуты поставить в соответствие вершине графа (на обороте):

Если есть продукция A > XY и связанное с ней семантическое правило A.a := f (X.x, Y. y), то для них получится сл. фрагмент графа зависимостей:

Полученный граф должен быть ацикличным (не должно быть циклов), тогда сможем вычислить значения. Для определения порядка вычисления атрибутов нужно применить топологическую сортировку. Эта сортировка определяет порядок узлов графа зависимостей такой, что дуги графа выходят от более ранних узлов к более поздним.