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

модель программ, процедура, отношение аппроксимации, алгебраическая модель программ

Математические вопросы и теория численных методов