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