EN
О \(K\)-порождаемости предполных классов линейных автоматов
Бирюкова В. А.
Получена: 04.06.2026 Доработана: 09.06.2026 Принята: 10.06.2026
Опубликована: 2026 год, том 30, выпуск 2, С. 82–100
Аннотация
Исследуется задача \(K\)-конечной порождаемости для предполных классов линейных автоматов над полем \(E_2\). Доказано, что не входящие в \(A\)-критериальную систему классы не являются \(K\)-конечнопорожденными. При этом была найдена счётная серия \(K\)-замкнутых \(K\)-конечнопорожденных классов. Также показано, что любой \(K\)-предполный класс, который не является \(K\)-конечнопорожденным, будет \(A\)-полным.
Ключевые слова: конечный автомат, линейный автомат, замкнутый класс, предполный класс, операции композиции, аппроксимационное замыкание, $K$-конечнопорожденность, базисы замкнутых классов.
BibTeX
@article{IS-Biryukova2026,
author = {Бирюкова, Вероника Андреевна},
title = {{О $K$-порождаемости предполных классов линейных автоматов}},
journal = {Интеллектуальные системы. Теория и приложения},
year = {2026},
volume = {30},
number = {2},
pages = {82--100},
}
AMSBIB
\RBibitem{IS-Biryukova2026}
\by В.\,А.~Бирюкова
\paper О $K$-порождаемости предполных классов линейных автоматов
\jour Интеллектуальные системы. Теория и приложения
\yr 2026
\vol 30
\issue 2
\pages 82--100