Алґоритми згортання і розгортання формул абстрактних алгоритмів
Подано означення процесів згортання, розгортання й адаптації формул алґоритмів. Наведено алґоритм комп’ютерної адаптації формул алґоритмів. Синтезовано, мінімізовано, побудовано математичну модель і досліджено алґоритм адаптації базового
знака операції. Наведено моделі алґоритмів згортання і розгортання формул алґоритмів. Показана верифікація розроблених алґоритмів.