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

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

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



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






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


Труды института системного программирования РАН, 2015, том 27, выпуск 2, страницы 161–172
DOI: https://doi.org/10.15514/ISPRAS-2015-27(2)-10
(Mi tisp128)
 

Конечные автоматы в теории алгебраических схем программ

Р. И. Подловченко

Московский Государственный Университет им. М.В. Ломоносова
Список литературы:
Аннотация: Рассматриваемые в статье алгебраические модели программ обобщают две модели программ, введённые А.А. Ляпуновым и А.А. Летичевским. Показано, что алгебраические модели программ аппроксимируют компьютерные программы, через промежуточную формализацию. Центральное место в теории таких моделей занимает проблема эквивалентности схем программ. Существует достаточно много классов моделей, для которых эта проблема разрешима. Большинство разрешающих алгоритмов следуют структуре алгоритма проверки эквивалентности конечных автоматов. Целью данной статьи является выявляение этой связи. Вводится эквивалентное представление моделей программ, называемое матричными схемами. Такое представление структурно ближе к конечным автоматам, и показано, что проблема эквивалентности в подклассе матричных схем программ сводится к таковой для конечных автоматов. Рассматривается алгоритм, решающий проблему эквивалентности КА; он формулируется в терминах требований к конечным участкам путей выполнения автоматов. В результате удаётся сформулировать более общий метод, применимый к другим моделям. Приводятся необходимые требования, предъявляемые к моделям для применимости к ним указанного метода. Приводятся две модели, уравновешенная полугрупповая модель с левым сокращением и коммутативная модель с монотонными операторами, в который разрешимость проблемы эквивалентности установлена указанным методом.
Ключевые слова: схема программ, алгебраическая модель программ, проблема эквивалентности, разрешающий алгоритм, конечный автомат.
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: Р. И. Подловченко, “Конечные автоматы в теории алгебраических схем программ”, Труды ИСП РАН, 27:2 (2015), 161–172
Цитирование в формате AMSBIB
\RBibitem{Pod15}
\by Р.~И.~Подловченко
\paper Конечные автоматы в теории алгебраических схем программ
\jour Труды ИСП РАН
\yr 2015
\vol 27
\issue 2
\pages 161--172
\mathnet{http://mi.mathnet.ru/tisp128}
\crossref{https://doi.org/10.15514/ISPRAS-2015-27(2)-10}
\elib{https://elibrary.ru/item.asp?id=23827852}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp128
  • https://www.mathnet.ru/rus/tisp/v27/i2/p161
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Труды института системного программирования РАН
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024