maisМоделирование и анализ информационных системModeling and Analysis of Information Systems1818-10152313-5417Yaroslavl State University10.18255/1818-1015-2012-5-100-114mais-60Research ArticleОригинальные статьиArticlesО теории алгебраических моделей программ с процедурамиAbout Algebraic Program Models with ProceduresПодловченкоРимма ИвановнаPodlovchenkoR. I.

ведущий научный сотрудник НИВЦ, д-р физ.-мат. наук, профессор

ведущий научный сотрудник НИВЦ, д-р физ.-мат. наук, профессор

podlovchenko.rimma@gmail.comМолчановАндрей ЭриковичMolchanovA. E.

аспирант ф-та ВМК

аспирант ф-та ВМК

gurux13@gmail.comМосковский государственный университет им. М.В. ЛомоносоваРоссияМосковский государственный университет им. М.В. ЛомоносоваRussian Federation201204032015195100114Copyright © Подловченко Р.И., Молчанов А.Э., 20152015Подловченко Р.И., Молчанов А.Э.Podlovchenko R.I., Molchanov A.E.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://www.mais-journal.ru/jour/article/view/60

Алгебраические модели программ с процедурами предназначены для изучения семантических свойств самих программ на их образах - схемах программ. Излагаются концепции, лежащие в основе построения теории таких моделей, и описывается, как они реализуются. Центральное место в теории отводится проблеме эквивалентности схем программ, принадлежащих отдельной модели. Рассматривается класс специального вида алгебраических моделей программ с процедурами, называемых перегородчатыми моделями, и устанавливаются необходимые и достаточные условия разрешимости в этих моделях проблемы эквивалентности.

Algebraic program models with procedures are designed to analyze program semantic properties on their models called program schemes. The concepts that give foundation to the theory of such models are stated along with a description of their implementation. The key point of the theory is the equivalence of program schemes that belong to a particular model. A class of special algebraic models with procedures, called gateway models, is studied. Necessary and sufficient conditions of the equivalence problem decidability in such models are proposed.

формализация программысхема программыэквивалентность схем программматричная схемасвободная схемаprogram formalizationprogram schemeprogram schemes equivalencematric schemefree schemeReferencesЛяпунов А.А. О логических схемах программ // Проблемы кибернетики. Вып. 1. М.: Физматгиз, 1958. С. 46–74.Ляпунов А.А. О логических схемах программ // Проблемы кибернетики. Вып. 1. М.: Физматгиз, 1958. С. 46–74.Янов Ю.И. О логических схемах алгоритмов // Проблемы кибернетики. Вып. 1. М.: Физматгиз, 1958. С. 75–127.Янов Ю.И. О логических схемах алгоритмов // Проблемы кибернетики. Вып. 1. М.: Физматгиз, 1958. С. 75–127.Подловченко Р.И. Об одной методике распознавания эквивалентности в алгебраических моделях программ // Программирование. 2011. №6. С. 33–43.Подловченко Р.И. Об одной методике распознавания эквивалентности в алгебраических моделях программ // Программирование. 2011. №6. С. 33–43.Захаров В.А. Проверка эквивалентности программ при помощи двухленточных автоматов // Кибернетика и системный анализ. 2010. №4. С. 39–48.Захаров В.А. Проверка эквивалентности программ при помощи двухленточных автоматов // Кибернетика и системный анализ. 2010. №4. С. 39–48.Подловченко Р.И. Эквивалентные преобразования в математических моделях вычислений // Учебное пособие. М.: Изд. отдел ф-та ВМиК МГУ; МАКС ПРЕСС, 2011. 72 с.Подловченко Р.И. Эквивалентные преобразования в математических моделях вычислений // Учебное пособие. М.: Изд. отдел ф-та ВМиК МГУ; МАКС ПРЕСС, 2011. 72 с.Подловченко Р.И. Абстрактные программы с процедурами и конечные автоматы с магазином // Интеллектуальные системы. 1997. Т. 2, вып. 1–4. С. 275–295.Подловченко Р.И. Абстрактные программы с процедурами и конечные автоматы с магазином // Интеллектуальные системы. 1997. Т. 2, вып. 1–4. С. 275–295.Подловченко Р.И. От схем Янова к теории моделей программ // Математические вопросы кибернетики. 1998. Вып. 7. С. 281–302.Подловченко Р.И. От схем Янова к теории моделей программ // Математические вопросы кибернетики. 1998. Вып. 7. С. 281–302.Подловченко Р.И. Специальные перегородчато-автоматные модели рекурсивных программ // Программирование. 1994. №3. С. 3–26.Подловченко Р.И. Специальные перегородчато-автоматные модели рекурсивных программ // Программирование. 1994. №3. С. 3–26.

The authors declare that there are no conflicts of interest present.