Учебное пособие москва мади 2020 ббк 32. 81 В 683 Волосова, А. В. В683

графом программы
. Его основным 
свойством является независимость от входных данных программы. 
Множества вершин и дуг для каждой программы фиксированы и образуют 
единственный граф. Этот граф задает одну из моделей программы. Для 
рассмотренного выше примера, граф представлен на рис. 53.
При определении начальных данных программы и наблюдении за ее 
выполнением на обычном последовательном вычислителе, 
каждое 
срабатывание каждого оператора можно фиксировать отдельной вершиной. 
Получим множество, которое количественно почти всегда будет отличаться 
от множества вершин графа управления. Соединив вершины дугами передач 
управления, 
получим 
ориентированный 
граф, 
носящий 
название 
операционно
-
логической истории программы
‒
последовательность 
срабатывания преобразователей и распознавателей исходной программы при 
заданных входных данных. Он является единственным путем от начальной 
вершины к конечной. В операционно
-
логической истории от входных 
данных зависит практически все: общее число вершин, количество вершин, 
соответствующих одному оператору, и даже набор присутствующих 
преобразователей и распознавателей. Граф управления свободен от 
подобных конкретностей. На рис. 54 представлена операционно
-
логическая 
история вышеприведенного примера программы для случая n = 3, b
1
= 0, b
2
= 
b
3
=a
1
=a
2
= a
3
=c
2
=c
3
= 1.
Рис. 53. Графовая модель алгоритма 1

---

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