Непосредственный вывод

Пусть: $\alpha \to \beta \in P$ - правило вывода грамматики $G=(\Gamma ,\Sigma ,P,S)$ Тогда говорят, что цепочка ${\delta }_1\alpha {\delta }_2\in (\Sigma \cup \Gamma {)}^{\ast }$ непосредственно выводится из цепочки ${\delta }_1\beta {\delta }_2\in (\Sigma \cup \Gamma {)}^{\ast }$ в грамматике $G$

Непосредственная выводимость обозначается:

$${\delta }_1\alpha {\delta }_2{\Rightarrow }_G{\delta }_1\beta {\delta }_2$$

Или

$${\delta }_1\alpha {\delta }_2\Rightarrow {\delta }_1\beta {\delta }_2$$

Если из контекста известно, о какой грамматике идет речь