УДК: 519.685

О машинном синтезе некоторых линейных программ

А. Б. Фролов, д-р техн. наук, проф., А. М. Винников, студент, Московский энергетический институт (технический университет), e-mail: abfrolov@mail.ru

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

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

Стр. 24–30