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

Материал из WEGA
Перейти к навигации Перейти к поиску
Нет описания правки
 
(не показана 1 промежуточная версия 1 участника)
Строка 1: Строка 1:
'''Информационный граф''' (''[[Information  graph]]'') - [[орграф]] информационных связей в программе или [[схема программ|схеме программ]]; [[вершина|вершины]] его суть
'''Информационный граф''' (''[[Information  graph]]'') [[орграф]] информационных связей в программе или [[схема программ|схеме программ]]; [[вершина|вершины]] его суть
[[полюс|полюса]] (операнды) --- аргументы ([[вход|входы]]) и результаты
[[полюс|полюса]] (операнды) аргументы ([[вход|входы]]) и результаты
([[выход|выходы]]) операторов, а [[дуга|дуги]] отражают возможность передачи
([[выход|выходы]]) операторов, а [[дуга|дуги]] отражают возможность передачи
информации между выходами и входами операторов при их исполнении.
информации между выходами и входами операторов при их исполнении.
Строка 6: Строка 6:
Необходимым условием наличия информационной связи между операндами
Необходимым условием наличия информационной связи между операндами
операторов <math>S_1</math> и <math>S_2</math> является существование специального вида
операторов <math>S_1</math> и <math>S_2</math> является существование специального вида
[[путь|пути]] по ''[[управляющий граф|управляющему графу]]'' от <math>S_1</math> до <math>S_2</math> --- ''[[маршрут|маршрута]]'' информационной связи, подтверждающего (реализующего)
[[путь|пути]] по ''[[управляющий граф|управляющему графу]]'' от <math>S_1</math> до <math>S_2</math> ''[[маршрут|маршрута]]'' информационной связи, подтверждающего (реализующего)
данную информационную связь.
данную информационную связь.


==См. также==  
==См. также==  
''[[Схема с распределенной памятью]], [[Схема с косвенной адресацией]]''.
* ''[[Схема с распределенной памятью]],''
* ''[[Схема с косвенной адресацией]].''
==Литература==
==Литература==
[Ершов/77],
* Ершов А.П. Введение в теоретическое программирование. Беседы о методе. — М.: Наука, 1977.


[Касьянов/88]
* Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 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.