Граф программных зависимостей: различия между версиями

'''Граф программных зависимостей''' (''[[Program dependence graph]]'') - [[орграф]], [[вершина|вершины]] которого суть операторы и предикаты программы и в котором две вершины <math>S</math> и <math>T</math> соединены [[дуга|дугой]] <math>(S,T)</math> в том и только том случае, если оператор <math>T</math> зависит (по данным или по управлению) от оператора <math>S</math>. Для удобства представляется в виде двух [[подграф|подграфов]]: подграфа зависимостей по управлению и подграфа зависимостей по данным. Как и [[управляющий граф]] '''Г.п.з.''' является теоретико-графовой формой промежуточного представления программ в распараллеливающем компиляторе. Другими аналогичными формами являются иерархический граф заданий, идеограф и др. В последних двух зависимости по данным и по управлению рассматриваются совместно.