Схемы Лаврова: различия между версиями

Материал из WEGA
Перейти к навигации Перейти к поиску
Нет описания правки
Нет описания правки
 
(не показаны 2 промежуточные версии 2 участников)
Строка 1: Строка 1:
'''Схемы Лаврова''' (''[[Lavrov schemata]]'') -
'''Схемы Лаврова''' (''[[Lavrov schemata]]'')
''[[схема программ|схемы программ]]'', которые
''[[схема программ|схемы программ]]'', которые
были введены в литературу С.С.Лавровым в 1961 г. в связи с
были введены в литературу С.С.Лавровым в 1961 г. в связи с
Строка 12: Строка 12:
только ''[[раскраска|раскраски]]'', причем схемы считаются
только ''[[раскраска|раскраски]]'', причем схемы считаются
эквивалентными, если при их реализации [[схема с распределенной памятью|''схемами с распределенной памятью'']] совпадают [[информационный граф|информационные графы]] [[Р-Схема|Р-схем]].
эквивалентными, если при их реализации [[схема с распределенной памятью|''схемами с распределенной памятью'']] совпадают [[информационный граф|информационные графы]] [[Р-Схема|Р-схем]].
[[Файл:Lavrov schemata.gif|700px]]


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


[Ершов/94],


[Касьянов/88]
[[Категория: Теория схем программ]]

Текущая версия от 11:40, 13 сентября 2011

Схемы Лаврова (Lavrov schemata) — схемы программ, которые были введены в литературу С.С.Лавровым в 1961 г. в связи с задачей экономии памяти. Являются одной из основных формальных моделей программ, используемых для алгоритмов оптимизации программ. В схемах Лаврова исследуются информационные связи между операторами в условиях неизменности логической структуры программ. Формально они могут определены следующим образом: берется класс крупноблочных схем и рассматриваются в качестве эквивалентных лишь такие схемы, в которых различаться могут только раскраски, причем схемы считаются эквивалентными, если при их реализации схемами с распределенной памятью совпадают информационные графы Р-схем.

Lavrov schemata.gif

См. также

Литература

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