EN
О выразимости автоматов с операцией суперпозиции
Опубликована: 2023 год, том 27, выпуск 4, С. 76–78
Аннотация
Задача выразимости для константных автоматов и линейных автоматов для расширенной суперпозиции алгоритмически разрешима. Имеет место теорема об алгоритмической разрешимости задачи выразимости автоматов с линейными переходами над полем конечной характеристики.
Ключевые слова: расширенная суперпозиция, выразимость, линейные автоматы, алгоритмическая разрешимость.
BibTeX
@article{IS-Babin-Letunovskiy2023,
author = {Бабин, Дмитрий Николаевич and Летуновский, Алексей Александрович},
title = {{О выразимости автоматов с операцией суперпозиции}},
journal = {Интеллектуальные системы. Теория и приложения},
year = {2023},
volume = {27},
number = {4},
pages = {76--78},
}
AMSBIB
\RBibitem{IS-Babin-Letunovskiy2023}
\by Д.\,Н.~Бабин, А.\,А.~Летуновский
\paper О выразимости автоматов с операцией суперпозиции
\jour Интеллектуальные системы. Теория и приложения
\yr 2023
\vol 27
\issue 4
\pages 76--78
Опубликовано на условиях лицензии
Creative Commons Attribution 4.0 International (CC BY 4.0)