About Algebraic Program Models with Procedures
https://doi.org/10.18255/1818-1015-2012-5-100-114
Abstract
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.
About the Authors
R. I. Podlovchenko
Московский государственный университет им. М.В. Ломоносова
Russian Federation
ведущий научный сотрудник НИВЦ, д-р физ.-мат. наук, профессор
Russian Federation
ведущий научный сотрудник НИВЦ, д-р физ.-мат. наук, профессор
A. E. Molchanov
Московский государственный университет им. М.В. Ломоносова
Russian Federation
аспирант ф-та ВМК
Russian Federation
аспирант ф-та ВМК
References
1. Ляпунов А.А. О логических схемах программ // Проблемы кибернетики. Вып. 1. М.: Физматгиз, 1958. С. 46–74.
2. Янов Ю.И. О логических схемах алгоритмов // Проблемы кибернетики. Вып. 1. М.: Физматгиз, 1958. С. 75–127.
3. Подловченко Р.И. Об одной методике распознавания эквивалентности в алгебраических моделях программ // Программирование. 2011. №6. С. 33–43.
4. Захаров В.А. Проверка эквивалентности программ при помощи двухленточных автоматов // Кибернетика и системный анализ. 2010. №4. С. 39–48.
5. Подловченко Р.И. Эквивалентные преобразования в математических моделях вычислений // Учебное пособие. М.: Изд. отдел ф-та ВМиК МГУ; МАКС ПРЕСС, 2011. 72 с.
6. Подловченко Р.И. Абстрактные программы с процедурами и конечные автоматы с магазином // Интеллектуальные системы. 1997. Т. 2, вып. 1–4. С. 275–295.
7. Подловченко Р.И. От схем Янова к теории моделей программ // Математические вопросы кибернетики. 1998. Вып. 7. С. 281–302.
8. Подловченко Р.И. Специальные перегородчато-автоматные модели рекурсивных программ // Программирование. 1994. №3. С. 3–26.
Review
For citations:
Podlovchenko R.I., Molchanov A.E. About Algebraic Program Models with Procedures. Modeling and Analysis of Information Systems. 2012;19(5):100-114. (In Russ.) https://doi.org/10.18255/1818-1015-2012-5-100-114
Views:
976
Email this article 