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

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


См. также ''Неинтерпретированные схемы, Стандартные схемы, Схема с косвенной адресацией, Схемы Мартынюка, Схемы Янова.''
==См. также ==
''[[Неинтерпретированные схемы]], [[Стандартные схемы]], [[Схема с косвенной адресацией]], [[Схемы Мартынюка]], [[Схемы Янова]].''
==Литература==
==Литература==
[Ершов/77],
[Ершов/77],

Навигация