Описание книги
Изложены теоретические основы автоматизации оптимизирующих преобразований алгоритмов на графах. Основная цель монографии – показать возможность формализованного выполнения оптимизирующих преобразований указанных алгоритмов. Для разработчиков алгоритмов решения задач анализа и синтеза структур сложных систем. Может быть полезна преподавателям, аспирантам и студентам специальностей, связанных с проектированием сложных систем.