Перечисление абстрактных автоматов

Обобщается одна комбинаторная теорема де Брейна. Перечисляются конечные автоматы Мили. Эквивалентность автоматов индуцируется группами, действующими на входном и выходном алфавитах и на множестве внутренних состояний автомата.