Информационный граф: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Создана новая страница размером '''Информационный граф''' (''Information graph'') - орграф информационных связей в прог...) |
KVN (обсуждение | вклад) Нет описания правки |
||
| (не показаны 3 промежуточные версии 2 участников) | |||
| Строка 1: | Строка 1: | ||
'''Информационный граф''' (''Information graph'') | '''Информационный граф''' (''[[Information graph]]'') — [[орграф]] информационных связей в программе или [[схема программ|схеме программ]]; [[вершина|вершины]] его суть | ||
орграф информационных связей в программе или схеме программ; вершины его суть | [[полюс|полюса]] (операнды) — аргументы ([[вход|входы]]) и результаты | ||
полюса (операнды) | ([[выход|выходы]]) операторов, а [[дуга|дуги]] отражают возможность передачи | ||
(выходы) операторов, а дуги отражают возможность передачи | |||
информации между выходами и входами операторов при их исполнении. | информации между выходами и входами операторов при их исполнении. | ||
Необходимым условием наличия информационной связи между операндами | Необходимым условием наличия информационной связи между операндами | ||
операторов <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> — ''[[маршрут|маршрута]]'' информационной связи, подтверждающего (реализующего) | ||
данную информационную связь. | данную информационную связь. | ||
См. также ''Схема с распределенной памятью, Схема с косвенной адресацией'' | ==См. также== | ||
* ''[[Схема с распределенной памятью]],'' | |||
* ''[[Схема с косвенной адресацией]].'' | |||
==Литература== | ==Литература== | ||
* Ершов А.П. Введение в теоретическое программирование. Беседы о методе. — М.: Наука, 1977. | |||
[ | * Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988. | ||
[[Категория: Теория схем программ]] | |||
[[Категория:Потоковый анализ программ]] | |||
[[Категория:Преобразование программ]] | |||
Текущая версия от 14:30, 5 ноября 2024
Информационный граф (Information graph) — орграф информационных связей в программе или схеме программ; вершины его суть полюса (операнды) — аргументы (входы) и результаты (выходы) операторов, а дуги отражают возможность передачи информации между выходами и входами операторов при их исполнении.
Необходимым условием наличия информационной связи между операндами операторов [math]\displaystyle{ S_1 }[/math] и [math]\displaystyle{ S_2 }[/math] является существование специального вида пути по управляющему графу от [math]\displaystyle{ S_1 }[/math] до [math]\displaystyle{ S_2 }[/math] — маршрута информационной связи, подтверждающего (реализующего) данную информационную связь.
См. также
Литература
- Ершов А.П. Введение в теоретическое программирование. Беседы о методе. — М.: Наука, 1977.
- Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.