О мощности порождающих множеств в классе автоматов с линейной функцией выходов

Аннотация

Класс конечных автоматов конечно порожден по операциям композиции [1]. Важными его подклассами являются классы автоматов с линейными функциями выходов. Набор операций над автоматами, состоящий из подстановки переменных, подстановки автоматов и обратной связи, мы называем ограниченной композицией. По операциям ограниченной композиции класс одноместных автоматов замкнут. В настоящей работе показано, что в классе одноместных конечных автоматов с линейными функциями выходов и операциями ограниченной композиции отсутствуют конечные полные множества, но автоматы из этого класса, реализуемые схемами с не более чем одной задержкой, порождают этот класс.

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

BibTeX
@article{IS-Yusupov2025,
  author  = {Юсупов, Феликс Ренатович},
  title   = {{О мощности порождающих множеств в классе автоматов с линейной функцией выходов}},
  journal = {Интеллектуальные системы. Теория и приложения},
  year    = {2025},
  volume  = {29},
  number  = {4},
  pages   = {150--162},
}
AMSBIB
\RBibitem{IS-Yusupov2025}
\by Ф.\,Р.~Юсупов
\paper О мощности порождающих множеств в классе автоматов с линейной функцией выходов
\jour Интеллектуальные системы. Теория и приложения
\yr 2025
\vol 29
\issue 4
\pages 150--162
Опубликовано на условиях лицензии Creative Commons Attribution 4.0 International (CC BY 4.0)

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

× Issue cover