Задача определения порядка для автоматов, чьи функции переходов и выходов принадлежат замкнутому классу Поста

Муравьев Н. В.
Муравьев Никита Валерьевич
аспирант каф. математической теории интеллектуальных систем мех.-мат. ф-та МГУ

Получена: 25.03.2026

Опубликована: 2025 год, том 29, выпуск 3, С. 180–189

Скачать полный текст

Аннотация

Рассматривается задача определения порядка автомата Мили относительно операции суперпозиции. Доказано разбиение решетки Поста замкнутых классов относительно разрешимости задачи вычисления порядка для соответсвующих R-автоматов.

Ключевые слова: автоматы Мили, классы Поста, алгоритмическая разрешимость

BibTeX 
@article{IS-Muravev2025,
  author  = {Муравьев, Никита Валерьевич},
  title   = {{Задача определения порядка для автоматов, чьи функции переходов и выходов принадлежат замкнутому классу Поста}},
  journal = {Интеллектуальные системы. Теория и приложения},
  year    = {2025},
  volume  = {29},
  number  = {3},
  pages   = {180--189},
}
AMSBIB 
\RBibitem{IS-Muravev2025}
\by Н.\,В.~Муравьев
\paper Задача определения порядка для автоматов, чьи функции переходов и выходов принадлежат замкнутому классу Поста
\jour Интеллектуальные системы. Теория и приложения
\yr 2025
\vol 29
\issue 3
\pages 180--189
Опубликовано на условиях лицензии Creative Commons Attribution 4.0 International (CC BY 4.0)

← К номеру журнала

× Issue cover