Синхронизируемые случайные автоматы над $4$-буквенным алфавитом

Изучается синхронизация случайного автомата, распределенного равномерно на множестве всех детерминированных конечных автоматов с $n$ состояниями и $m$ буквами. Мы показываем, что для $m=4$ вероятность того, что случайный автомат синхронизируем, больше положительной константы. Библ. – 9 назв.