Схемы Лаврова: различия между версиями
Перейти к навигации
Перейти к поиску
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
| (не показаны 2 промежуточные версии 2 участников) | |||
| Строка 1: | Строка 1: | ||
'''Схемы Лаврова''' (''[[Lavrov schemata]]'') | '''Схемы Лаврова''' (''[[Lavrov schemata]]'') — | ||
''[[схема программ|схемы программ]]'', которые | ''[[схема программ|схемы программ]]'', которые | ||
были введены в литературу С.С.Лавровым в 1961 г. в связи с | были введены в литературу С.С.Лавровым в 1961 г. в связи с | ||
| Строка 12: | Строка 12: | ||
только ''[[раскраска|раскраски]]'', причем схемы считаются | только ''[[раскраска|раскраски]]'', причем схемы считаются | ||
эквивалентными, если при их реализации [[схема с распределенной памятью|''схемами с распределенной памятью'']] совпадают [[информационный граф|информационные графы]] [[Р-Схема|Р-схем]]. | эквивалентными, если при их реализации [[схема с распределенной памятью|''схемами с распределенной памятью'']] совпадают [[информационный граф|информационные графы]] [[Р-Схема|Р-схем]]. | ||
[[Файл:Lavrov schemata.gif|700px]] | |||
==См. также == | ==См. также == | ||
''[[Неинтерпретированные схемы]], [[Стандартные схемы]], [[Схема с косвенной адресацией]], [[Схемы Мартынюка]], [[Схемы Янова]].'' | * ''[[Неинтерпретированные схемы]],'' | ||
* ''[[Стандартные схемы]],'' | |||
* ''[[Схема с косвенной адресацией]],'' | |||
* ''[[Схемы Мартынюка]],'' | |||
* ''[[Схемы Янова]].'' | |||
==Литература== | ==Литература== | ||
* Ершов А.П. Введение в теоретическое программирование. Беседы о методе. — М.: Наука, 1977. | |||
* Ершов А.П. Избранные труды. — Новосибирск: Наука. Сиб. отд-ние, 1994. | |||
* Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988. | |||
[ | [[Категория: Теория схем программ]] | ||
Текущая версия от 11:40, 13 сентября 2011
Схемы Лаврова (Lavrov schemata) — схемы программ, которые были введены в литературу С.С.Лавровым в 1961 г. в связи с задачей экономии памяти. Являются одной из основных формальных моделей программ, используемых для алгоритмов оптимизации программ. В схемах Лаврова исследуются информационные связи между операторами в условиях неизменности логической структуры программ. Формально они могут определены следующим образом: берется класс крупноблочных схем и рассматриваются в качестве эквивалентных лишь такие схемы, в которых различаться могут только раскраски, причем схемы считаются эквивалентными, если при их реализации схемами с распределенной памятью совпадают информационные графы Р-схем.
См. также
- Неинтерпретированные схемы,
- Стандартные схемы,
- Схема с косвенной адресацией,
- Схемы Мартынюка,
- Схемы Янова.
Литература
- Ершов А.П. Введение в теоретическое программирование. Беседы о методе. — М.: Наука, 1977.
- Ершов А.П. Избранные труды. — Новосибирск: Наука. Сиб. отд-ние, 1994.
- Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.