Информационный граф: различия между версиями

Материал из WEGA
Перейти к навигации Перейти к поиску
Нет описания правки
 
Строка 16: Строка 16:


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

Текущая версия от 12:26, 21 сентября 2019

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

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

См. также

Литература

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