Левая рекурсия

Говорят, что КС-грамматика содержит левую рекурсию, если в ней существует вывод вида:

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

Нетерминал $A$ в таком случае называется леворекурсивным