Изменения

'''return''' cyclic

:Состояние <tex> left</tex> означает, что <tex> N_i </tex> состоит только из лево-рекурсивных нетерминалов.

:Состояние <tex> cyclic</tex> означает, что <tex> N_i </tex> состоит только из правил, участвующих в рекурсии.

:Состояние <tex> self</tex> означает, что <tex>i </tex> такое, при котором грамматика самоприменима.