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

Грамматика $G=(\Gamma ,\Sigma ,P,S)$ называется контекстно-свободной грамматикой, если все правила вывода в этой грамматике имеют вид:

$$A\to \alpha$$

• $A\in \Gamma$
• $\alpha \in (\Sigma \cup \Gamma {)}^{\ast }$