Методы генерации учебных примеров программ с нетривиальными полиномиальными инвариантами

The problem of generation of program examples with nontrivial polynomial invariants is considered. These examples are used in mathematical system of educational purpose “Static Analysis Systems”. The two methods are proposed: the method of algebraic dependencies and the method of L-invariants.Рассматривается задача построения примеров программ, обладающих нетривиальными полиномиальными инвариантами. Эти примеры используются в математической системе учебного назначения «Статический анализ программ». Предложены два метода: метод алгебраической зависимости и метод L-инвариантов.Розглянуто задачу побудови прикладів програм, що мають нетривіальні поліноміальні інваріанти. Ці приклади використовуються в математичній системі навчального призначення «Статичний аналіз програм». Запропоновані два методи: метод алгебраїчної залежності й метод L-інваріантів