Операторная грамматика

эпсилон-свободная грамматика называется операторной грамматикой, если в правых частях ее правил вывода нет нетерминалов, стоящих рядом, то есть ее правила вывода имеют вид

$$A\to {\gamma }_0{\alpha }_1{\gamma }_1{\alpha }_2{\gamma }_2\dots {\alpha }_n{\gamma }_n$$

• $n\ge 0$
• ${\gamma }_i\in \Gamma \cup \{\epsilon \},i=0\dots n$
• $a_i\in \Sigma ,i=0\dots n$

---

Среди терминалов грамматики могут отдельно выделяться символы операций (операторы). Остальные терминальные символы считаются операндами