Алгоритм Берлекэмпа–Мэсси над конечными коммутативными кольцами

Предлагается и обосновывается алгоритм построения унитарного многочлена наименьшей степени, порождающего заданный отрезок длины $\ell$ элементов конечного коммутативного кольца $R$ с единицей. Трудоемкость алгоритма составляет $O(\ell_2)$ операций кольца $R$ при $\ell\to\infty$.