Наследуемый атрибут

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

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

поставленному в соответствие правилу вывода $B\to \alpha A\beta$

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