Задача $К$-конечнопорожденности для предполных классов линейных автоматов, составляющих $А$-критериальную систему в пространстве линейных автоматов

В данной статье рассматривается проблема $K$- и $A$-конечнопорожденности для предполных классов линейных автоматов, функционирующих над полем Галуа, состоящим из двух элементов. Для каждого исследуемого класса был предъявлен конечный базис. Совокупность исследуемых классов составляет $A$-критериальную систему в классе линейных автоматов.