Цикл

Циклом в контекстно-свободной грамматике называется вывод вида $A{\Rightarrow }_G^{+}A$

$A\to A$ является циклом