Оптимизирующие преобразования алгоритмов решения задач на графах

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