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

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

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



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






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


Модел. и анализ информ. систем, 2014, том 21, номер 4, страницы 116–131 (Mi mais392)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Исследование примитивных схем программ с процедурами

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

Московский государственный университет им. М. В. Ломоносова, 119991, Российская Федерация, Москва, Ленинские горы, д. 1

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

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

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

Тип публикации: Статья
УДК: 681.3.06
Поступила в редакцию: 20.08.2014

Образец цитирования: Р. И. Подловченко, “Исследование примитивных схем программ с процедурами”, Модел. и анализ информ. систем, 21:4 (2014), 116–131

Цитирование в формате AMSBIB
\RBibitem{Pod14}
\by Р.~И.~Подловченко
\paper Исследование примитивных схем программ с процедурами
\jour Модел. и анализ информ. систем
\yr 2014
\vol 21
\issue 4
\pages 116--131
\mathnet{http://mi.mathnet.ru/mais392}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais392
  • http://mi.mathnet.ru/rus/mais/v21/i4/p116

    ОТПРАВИТЬ: 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

    Эта публикация цитируется в следующих статьяx:
    1. А. Э. Молчанов, “Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ”, Труды ИСП РАН, 27:2 (2015), 173–188  mathnet  crossref  elib
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:95
    Полный текст:38
    Литература:16

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