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

Материал из WikiGrapp
Перейти к:навигация, поиск

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

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

См. также

Литература

  • Ершов А.П. Введение в теоретическое программирование. Беседы о методе. — М.: Наука, 1977.
  • Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.