Количество классов эквивалентных автоматов

[Oleg Osipov]

Имеется автомат с 2 состояниями, 2 входами и 2 выходами. Функции переходов и выхода произвольные. Таких автоматов всего может быть 256 с этим вроде понятно, а вот сколько существует классов эквивалентности для данных 256 автоматов и сколько их в каждом классе это вопрос(
Вроде бы должно быть 16, но как доказать не знаю .

[bnovikov]

В книге Трахтенброт, Бардзинь "Конечные автоматы", 1970, на стр.29 есть ссылка на статьи Коршунова по этому вопросу.