Синтезируемый атрибут

Атрибут $A.s$ символа $А$ называется синтезируемым, если он вычисляется по семантическому правилу*

$$A.s=f(c_1,\dots ,c_k)$$

поставленным в соответствие правилу вывода $A\to \alpha$ в КС-грамматике $G$

$c_1,\dots ,c_k$ - атрибуты символов, принадлежащих символам из цепочки $\alpha$