RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Труды ИСП РАН, 2015, том 27, выпуск 2, страницы 173–188 (Mi tisp129)  

Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ

А. Э. Молчанов

Московский государственный университет, факультет вычислительной математики и кибернетики

Аннотация: Статья принадлежит теории схем программ. Схемы программ - это объекты, созданные для анализа формализованных программ. Одной из основных задач теории является создание полных конечных систем эквивалентных преобразований (Э.П.). В статье рассматриваются схемы программ с процедурами, с ограничением на перегородчатые модели. Такие модели тесно связаны с моделями программ без процедур. Даётся краткое описание систем Э.П., и описывается методология решения проблемы Э.П. Выделяется подкласс перегородчатых моделей программ, называемый примитивными моделями. Они находятся ещё ближе к моделям без процедур. Указанная методология успешно применяется для построения полной конечной системы Э.П. в примитивном подклассе перегородчатых уравновешенных полугрупповых моделей программ с левым сокращением. Этот класс является широко изученным классом моделей программ, и при построении системы Э.П. используется известная конечная полная система Э.П. для похожих моделей без процедур. Используется вспомогательный вид схем, называемый многовыходными. В результате, строится канонический представитель класса эквивалентности схем программ, а также последовательность преобразований, приводящая произвольную схему этой модели в её каноническую форму. Такой способ решения считается полным решением проблемы Э.П. в классе моделей программ. В заключение приводятся направления для дальнейшего исследования.

Ключевые слова: алгебраические модели программ с процедурами, система эквивалентных преобразований, уравновешенная модель программ с левым сокращением.

DOI: https://doi.org/10.15514/ISPRAS-2015-27(2)-11

Полный текст: PDF файл (286 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья

Образец цитирования: А. Э. Молчанов, “Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ”, Труды ИСП РАН, 27:2 (2015), 173–188

Цитирование в формате AMSBIB
\RBibitem{Mol15}
\by А.~Э.~Молчанов
\paper Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ
\jour Труды ИСП РАН
\yr 2015
\vol 27
\issue 2
\pages 173--188
\mathnet{http://mi.mathnet.ru/tisp129}
\crossref{https://doi.org/10.15514/ISPRAS-2015-27(2)-11}
\elib{http://elibrary.ru/item.asp?id=23827853}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/tisp129
  • http://mi.mathnet.ru/rus/tisp/v27/i2/p173

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Труды института системного программирования РАН
    Просмотров:
    Эта страница:46
    Полный текст:5
    Литература:9

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019