Оптимизация алгоритмов методами алгебраической теории автоматов. Часть 2

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