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