Вышеописанный ПРАКТИКУМ DF на самом деле является частью более обширного ПРАКТИКУМА DF-SPF (см. рис. 12). Исследовательский инструмент SPF мы начнём использовать чуть позднее, а пока сосредоточимся на возможности DF. Нас интересуют, конечно, свойства алгоритмов в направлении исследования свойств параллелизма. Начинаем с классического – того самого примера решения полного квадратного уравнения. Загружаем в систему DF (по клавишам Ctrl+O) файл SQUA_EQU_2.SET, убеждаемся в загрузке программы в находящийся в центральной части фрейм (подокно) и нажимаем кнопку “Выполнение”...

На рис. 22 показана ЯПФ того алгоритма решения полного квадратного уравнения в вещественных числах SQUA_EQU_2.GV, однако красным пунктиром для трёх операторов (100, 102 и 103) показаны диапазоны возможного (не нарушающего информационные связи в алгоритме) перемещения между ярусами ЯПФ (этот диапазон несложно вычисляется по информационному графу алгоритма - ИГА). Невооружённым глазом видно, что перемещения любых двух операторов в пределах указанного красным пунктиром (а это и есть целенаправленная...