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