Схемы Лаврова: различия между версиями
Glk (обсуждение | вклад) (Создана новая страница размером '''Схемы Лаврова''' (''Lavrov schemata'') - ''схемы программ'', которые были введены в лит...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Схемы Лаврова''' (''Lavrov schemata'') - | '''Схемы Лаврова''' (''[[Lavrov schemata]]'') - | ||
''схемы программ'', которые | ''[[схема программ|схемы программ]]'', которые | ||
были введены в литературу С.С.Лавровым в 1961 г. в связи с | были введены в литературу С.С.Лавровым в 1961 г. в связи с | ||
задачей экономии памяти. Являются одной из основных | задачей экономии памяти. Являются одной из основных | ||
формальных моделей программ, используемых для алгоритмов | формальных моделей программ, используемых для [[алгоритм|алгоритмов]] | ||
оптимизации программ. В схемах Лаврова исследуются | [[оптимизация программ|оптимизации программ]]. В схемах Лаврова исследуются | ||
информационные связи между операторами в условиях | информационные связи между операторами в условиях | ||
неизменности логической структуры программ. Формально они | неизменности логической структуры программ. Формально они | ||
могут определены следующим образом: берется класс | могут определены следующим образом: берется класс | ||
''крупноблочных схем'' и рассматриваются в качестве | ''[[крупноблочная схема программ|крупноблочных схем]]'' и рассматриваются в качестве | ||
эквивалентных лишь такие схемы, в которых различаться могут | эквивалентных лишь такие схемы, в которых различаться могут | ||
только ''раскраски'', причем схемы считаются | только ''[[раскраска|раскраски]]'', причем схемы считаются | ||
эквивалентными, если при их реализации ''схемами с распределенной памятью'' совпадают информационные графы Р-схем. | эквивалентными, если при их реализации [[схема с распределенной памятью|''схемами с распределенной памятью'']] совпадают [[информационный граф|информационные графы]] [[Р-Схема|Р-схем]]. | ||
См. также ''Неинтерпретированные схемы, Стандартные схемы, Схема с косвенной адресацией, Схемы Мартынюка, Схемы Янова.'' | ==См. также == | ||
''[[Неинтерпретированные схемы]], [[Стандартные схемы]], [[Схема с косвенной адресацией]], [[Схемы Мартынюка]], [[Схемы Янова]].'' | |||
==Литература== | ==Литература== | ||
[Ершов/77], | [Ершов/77], | ||
Версия от 12:16, 4 февраля 2010
Схемы Лаврова (Lavrov schemata) - схемы программ, которые были введены в литературу С.С.Лавровым в 1961 г. в связи с задачей экономии памяти. Являются одной из основных формальных моделей программ, используемых для алгоритмов оптимизации программ. В схемах Лаврова исследуются информационные связи между операторами в условиях неизменности логической структуры программ. Формально они могут определены следующим образом: берется класс крупноблочных схем и рассматриваются в качестве эквивалентных лишь такие схемы, в которых различаться могут только раскраски, причем схемы считаются эквивалентными, если при их реализации схемами с распределенной памятью совпадают информационные графы Р-схем.
См. также
Неинтерпретированные схемы, Стандартные схемы, Схема с косвенной адресацией, Схемы Мартынюка, Схемы Янова.
Литература
[Ершов/77],
[Ершов/94],
[Касьянов/88]