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

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