Информационный граф

Информационный граф (Information graph) - орграф информационных связей в программе или схеме программ; вершины его суть полюса (операнды) --- аргументы (входы) и результаты (выходы) операторов, а дуги отражают возможность передачи информации между выходами и входами операторов при их исполнении.

Необходимым условием наличия информационной связи между операндами операторов [math]\displaystyle{ S_1 }[/math] и [math]\displaystyle{ S_2 }[/math] является существование специального вида пути по управляющему графу от [math]\displaystyle{ S_1 }[/math] до [math]\displaystyle{ S_2 }[/math] --- маршрута информационной связи, подтверждающего (реализующего) данную информационную связь.

См. также Схема с распределенной памятью, Схема с косвенной адресацией.

Литература

[Ершов/77],

[Касьянов/88]