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

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

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



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






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


Модел. и анализ информ. систем, 2018, том 25, номер 5, страницы 561–571 (Mi mais649)  

Теория автоматов

Universal hypergraphic automata representation by autonomous input symbols

[Представление универсальных гиперграфических автоматов автономными выходными сигналами]

E. V. Khvorostukhinaa, V. A. Molchanovb

a Yuri Gagarin State Technical University of Saratov, 77 Politechnicheskaya str., Saratov 410054, Russia
b Saratov State University, 83 Astrakhanskaya str., Saratov, 410012, Russia

Аннотация: Гиперграфическими автоматами называются автоматы, у которых множества состояний и выходных символов наделены структурами гиперграфов, сохраняющимися функциями переходов и выходными функциями. Универсальные притягивающие объекты в категории таких автоматов представляются автоматами $\mathrm{Atm}(H_1 ,H_2)$ с гиперграфом состояний $H_1,$ гиперграфом выходных символов $H_2$ и полугруппой входных символов $S=\mathrm{End} H_1\times \mathrm{Hom}(H_1,H_2),$ которые называются универсальными гиперграфическими автоматами. Для такого автомата $\mathrm{Atm}(H_1 ,H_2)$ полугруппа входных символов $S$ является производной алгеброй отображений, свойства которой взаимосвязаны со свойствами алгебраической структуры данного автомата. Это позволяет изучать универсальные гиперграфические автоматы с помощью исследования их полугрупп входных символов. В настоящей работе рассматривается проблема представления универсальных гиперграфических автоматов в их полугруппах входных сигналов: описывается представление универсального гиперграфического автомата в виде многосортной алгебраической системы, канонически построенной из автономных входных сигналов этого автомата. Эта конструкция является одним из инструментов доказательства относительно элементарной определимости рассматриваемых автоматов в классе полугрупп, которая позволяет проанализировать взаимосвязь элементарных свойств этих автоматов и их полугрупп входных сигналов. Основной результат работы дает решение этой задачи для универсальных гиперграфических автоматов над эффективными гиперграфами с $p$-определимыми ребрами. Это достаточно широкий и весьма важный класс автоматов, так как он содержит, в частности, автоматы, у которых гиперграфы состояний и выходных символов являются плоскостями (например, проективными или аффинными) или разбиениями на классы нетривиальных эквивалентностей. Статья публикуется в авторской редакции.

Ключевые слова: автомат, полугруппа, гиперграф, входной сигнал.

DOI: https://doi.org/10.18255/1818-1015-561-571

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

Тип публикации: Статья
УДК: 519.713
Поступила в редакцию: 25.07.2018
Язык публикации: английский

Образец цитирования: E. V. Khvorostukhina, V. A. Molchanov, “Universal hypergraphic automata representation by autonomous input symbols”, Модел. и анализ информ. систем, 25:5 (2018), 561–571

Цитирование в формате AMSBIB
\RBibitem{KhvMol18}
\by E.~V.~Khvorostukhina, V.~A.~Molchanov
\paper Universal hypergraphic automata representation by autonomous input symbols
\jour Модел. и анализ информ. систем
\yr 2018
\vol 25
\issue 5
\pages 561--571
\mathnet{http://mi.mathnet.ru/mais649}
\crossref{https://doi.org/10.18255/1818-1015-561-571}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais649
  • http://mi.mathnet.ru/rus/mais/v25/i5/p561

    ОТПРАВИТЬ: 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
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:35
    Полный текст:14
    Литература:6
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019