Информационный граф: различия между версиями
Перейти к навигации
Перейти к поиску
KEV (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| (не показаны 2 промежуточные версии 2 участников) | |||
| Строка 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> — ''[[маршрут|маршрута]]'' информационной связи, подтверждающего (реализующего) | ||
данную информационную связь. | данную информационную связь. | ||
==См. также== | ==См. также== | ||
''[[Схема с распределенной памятью]], [[Схема с косвенной адресацией]]'' | * ''[[Схема с распределенной памятью]],'' | ||
* ''[[Схема с косвенной адресацией]].'' | |||
==Литература== | ==Литература== | ||
* Ершов А.П. Введение в теоретическое программирование. Беседы о методе. — М.: Наука, 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.