Циклический вывод

Циклическим выводом в контекстно-свободной грамматике называется вывод вида:

$$A_0\Rightarrow A_0\Rightarrow A_1\Rightarrow A_2\Rightarrow ...A_{n-2}\Rightarrow A_{n-1}\Rightarrow A_0$$

Тут важно, что в правых частях правил из которых состоит вывод слова имеют длину 1 (состоят из одного нетерминала)