Пусть дана грамматика. Пара нетерминалов называется цепной, если существует вывод , состоящий только из цепных правил.
Пусть дана грамматика. Пара нетерминалов (A,B),A,B∈Γ называется цепной, если существует вывод A⇒∗B, состоящий только из цепных правил.