Пусть дана грамматика. Пара нетерминалов называется цепной, если существует вывод , состоящий только из цепных правил.