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

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

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

См. также

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

Литература

• Ершов А.П. Введение в теоретическое программирование. Беседы о методе. — М.: Наука, 1977.

• Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.