Статья «Исследования в теории алгебраических моделей программ с процедурами, "Программирование"»

Алгебраические модели программ с процедурами обобщают алгебраические модели программ без процедур, которые называются простыми моделями программ. Характерной особенностью тех и других моделей является то, что они строятся для программ в некоторой их формализации. Введенные модели программ предназначены для исследования функциональной эквивалентности формализованных программ и построения богатых множеств эквивалентных преобразований (э.п.) их структуры. Эти задачи определяют проблематику теории алгебраических моделей программ, выдвинув на первый план проблему эквивалентности и проблему построения системы э.п. схем, полной в данной модели. Всплеск интереса к моделям программ с процедурами вызван обилием фактов, установленных для простых моделей программ. Материалом, подходящим для их использования, выбраны перегородчатые модели программ с процедурами. Они примечательны тем, что отдельная модель этого вида индуцируется некоторой простой моделью программ. В данной статье дается обзор результатов, полученных в последние годы для перегородчатых моделей программ.