Контекстно-зависимая грамматика

Грамматика, содержащее правило вывода вида:

$$\alpha A\beta \to \alpha \gamma \beta$$ $$A\in Г,\alpha ,\beta \in (Г\cup \Sigma {)}^{\ast },\gamma \in (Г\cup \Sigma {)}^{+}$$

При этом возможно правило $S\to ϵ$, но тогда “аннулирующие” правила не будут встречаться в грамматике (кроме правила с выводом из аксиомы)

и правило вида