хм... Сделал моноид автомата Кари... самое короткое синхронизируещее слово - 21 символ... а ученые которые по нескольку раз все пересчитывали - говорят, что 25... Научрук задумчиво посмотрел и сказал чтоб перепроверил... но как лень... былоб забавно, еслиб ученых обсчитал, но там скорее всего где-то ошибка(