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

В. М. Симонов