Пусть в каком-то правостороннем выводе было использовано правило A→β в контексте αAu⇒αβu,α,β,u∈(Σ∪Γ)∗. Основой r-формы αβu называется цепочка β