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

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

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



Чебышевский сб.:
Год:
Том:
Выпуск:
Страница:
Найти






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


Чебышевский сборник, 2019, том 20, выпуск 2, страницы 259–272
DOI: https://doi.org/10.22405/2226-8383-2018-20-2-259-272
(Mi cheb768)
 

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

Об абстрактной определяемости универсальных гиперграфических автоматов полугруппами входных сигналов

В. А. Молчановa, Е. В. Хворостухинаb

a Саратовский национальный исследовательский государственный университет имени Н. Г. Чернышевского (г. Саратов)
b Саратовский государственный технический университет имени Ю. А. Гагарина (г. Саратов)
Список литературы:
Аннотация: Гиперграфическими автоматами называются автоматы, у которых множества состояний и выходных символов наделены структурами гиперграфов, сохраняющимися функциями переходов и выходными функциями. Универсальные притягивающие объекты в категории таких автоматов называются универсальными гиперграфическими автоматами. Для таких автоматов полугруппы входных символов являются производными алгебрами отображений, свойства которых взаимосвязаны со свойствами алгебраических структур данных автоматов. Это позволяет изучать универсальные гиперграфические автоматы с помощью исследования их полугрупп входных символов. В работе исследуется проблема абстрактной определяемости таких автоматов их полугруппами входных символов, суть которой заключается в нахождении условий изоморфности полугрупп входных символов универсальных гиперграфических автоматов. Основной результат работы дает решение этой задачи для универсальных гиперграфических автоматов над эффективными гиперграфами с p-определимыми ребрами. Это достаточно широкий и весьма важный класс автоматов, так как он содержит, в частности, автоматы, у которых гиперграфы состояний и выходных символов являются плоскостями (например, проективными или аффинными), а также автоматы, у которых множества состояний и выходных символов разбиваются на классы некоторой эквивалентности без одноэлементных классов. В настоящей работе доказано, что универсальные гиперграфические автоматы над эффективными гиперграфами с p-определимыми ребрами полностью (с точностью до изоморфизма) определяются своими полугруппами входных символов, а также описано строение измоморфизмов таких автоматов.
Ключевые слова: проблема абстрактной определяемости, автомат, гиперграф, полугруппа.
Поступила в редакцию: 18.03.2017
Принята в печать: 12.07.2019
Тип публикации: Статья
УДК: 512, 519.7
Образец цитирования: В. А. Молчанов, Е. В. Хворостухина, “Об абстрактной определяемости универсальных гиперграфических автоматов полугруппами входных сигналов”, Чебышевский сб., 20:2 (2019), 259–272
Цитирование в формате AMSBIB
\RBibitem{MolKhv19}
\by В.~А.~Молчанов, Е.~В.~Хворостухина
\paper Об абстрактной определяемости универсальных гиперграфических автоматов полугруппами входных сигналов
\jour Чебышевский сб.
\yr 2019
\vol 20
\issue 2
\pages 259--272
\mathnet{http://mi.mathnet.ru/cheb768}
\crossref{https://doi.org/10.22405/2226-8383-2018-20-2-259-272}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/cheb768
  • https://www.mathnet.ru/rus/cheb/v20/i2/p259
  • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
     
      Обратная связь:
    math-net2024_12@mi-ras.ru
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024