Формализация оптимизирующих преобразований алгоритмов на графах и множествах