Схемы Лаврова

Материал из WEGA
Версия от 13:03, 2 февраля 2010; Glk (обсуждение | вклад) (Создана новая страница размером '''Схемы Лаврова''' (''Lavrov schemata'') - ''схемы программ'', которые были введены в лит...)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

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

См. также Неинтерпретированные схемы, Стандартные схемы, Схема с косвенной адресацией, Схемы Мартынюка, Схемы Янова.

Литература

[Ершов/77],

[Ершов/94],

[Касьянов/88]