О теории алгебраических моделей программ с процедурами
https://doi.org/10.18255/1818-1015-2012-5-100-114
Аннотация
Алгебраические модели программ с процедурами предназначены для изучения семантических свойств самих программ на их образах - схемах программ. Излагаются концепции, лежащие в основе построения теории таких моделей, и описывается, как они реализуются. Центральное место в теории отводится проблеме эквивалентности схем программ, принадлежащих отдельной модели. Рассматривается класс специального вида алгебраических моделей программ с процедурами, называемых перегородчатыми моделями, и устанавливаются необходимые и достаточные условия разрешимости в этих моделях проблемы эквивалентности.
Об авторах
Римма Ивановна Подловченко
Московский государственный университет им. М.В. Ломоносова
Россия
ведущий научный сотрудник НИВЦ, д-р физ.-мат. наук, профессор
Россия
ведущий научный сотрудник НИВЦ, д-р физ.-мат. наук, профессор
Андрей Эрикович Молчанов
Московский государственный университет им. М.В. Ломоносова
Россия
аспирант ф-та ВМК
Россия
аспирант ф-та ВМК
Список литературы
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.
Рецензия
Для цитирования:
Подловченко Р.И., Молчанов А.Э. О теории алгебраических моделей программ с процедурами. Моделирование и анализ информационных систем. 2012;19(5):100-114. https://doi.org/10.18255/1818-1015-2012-5-100-114
For citation:
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
Просмотров:
972
Послать статью по эл. почте 