Preview

Моделирование и анализ информационных систем

Расширенный поиск

О теории алгебраических моделей программ с процедурами

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

Просмотров: 369


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)