Семантическое правило

Семантическим правилом, поставленным в соответствие правилу вывода $A\to {\alpha }_1{\alpha }_2\dots {\alpha }_n$ контекстно-свободной грамматики $G$, ${\alpha }_i\in (\Sigma \cup \Gamma {)}^{\ast },i\in \{0,1,\dots ,n\}$, называется функциональная зависимость

$$b:=f(c_1,\dots ,c_k)$$

$b,c_1,\dots ,c_k$ - атрибуты грамматических символов из множества $\{A\}\cup \{{\alpha }_i{\}}_{i=1}^n$

Для каждого правила грамматики $G$ существует конечное (возможно пустое) множество семантических правил