Анотація. Введено поняття власного полінома лінійного оператора, сформульовано алгоритм побудови власних поліномів і встановлено зв’язок між власними поліномами та поліноміальними інваріантами лінійних циклів програм. Основний результат роботи — побудова множини L-інваріантів циклів для операторів, жорданова форма яких містить нетривіальні блоки. Бібліогр.: 15 назв.

Ключові слова: статистичний аналіз програм, поліноміальні інваріанти циклів, власні поліноми лінійних операторів, задача автоматичного генерування.