О полноте систем конечных автоматов

Для произвольного алфавита $A$ построено рекурсивное множество базисов из автоматов, имеющих один выход и не более двух входов, с алгоритмически неразрешимой проблемой выявления их полноты. Так как базисы автоматов с одним входом и одним выходом неполны, то результат в этом смысле является окончательным.