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

Перейти к навигации Перейти к поиску
нет описания правки
(Создана новая страница размером '''Схема программ''' (''Program schemata'') - математическая модель программ, в которой ...)
 
Нет описания правки
Строка 1: Строка 1:
'''Схема программ''' (''Program schemata'') -  
'''Схема программ''' (''[[Program schemata]]'') -  
математическая модель программ, в которой такие понятия, как
математическая модель программ, в которой такие понятия, как
оператор, операнд, переменная, выполнение и т.д., являются
оператор, операнд, переменная, выполнение и т.д., являются
обобщением соответствующих понятий существующих языков
обобщением соответствующих понятий существующих языков
программирования. Понятие схемы программы принадлежит
программирования. Понятие схемы программы принадлежит
советскому математику А.А.Ляпунову, которое он ввел в 1953~г.,
советскому математику А.А.Ляпунову, которое он ввел в 1953г.,
исходя из общей концепции необходимости и возможности
исходя из общей концепции необходимости и возможности
формализации процесса программирования. В настоящее время
формализации процесса программирования. В настоящее время
теория схем программ --- это широко разветвленная область
теория схем программ - это широко разветвленная область
исследования, которая имеет многочисленные выходы в практику
исследования, которая имеет многочисленные выходы в практику
программирования и содержит фундаментальные результаты не
программирования и содержит фундаментальные результаты не
Строка 26: Строка 26:
семантических моделях программ с целью построения полных
семантических моделях программ с целью построения полных
систем эквивалентных преобразований. ''Семантическая''
систем эквивалентных преобразований. ''Семантическая''
модель программы --- это множество схем с введенным в нем
модель программы - это множество схем с введенным в нем
отношением эквивалентности. При переходе к схеме конкретные
отношением эквивалентности. При переходе к схеме конкретные
объекты программы (такие как, например, переменные,
объекты программы (такие как, например, переменные,
Строка 86: Строка 86:
которых эти преобразования являются корректными.
которых эти преобразования являются корректными.


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


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

Навигация