Выдержка из книги
Плоткин Б.И.
Элементы алгебраической теории автоматов
Пусть полугруппа 5 - моногенная, у - ее образующий элемент. Тогда для всякого натурального / справедливо неравенство А о у А и, следовательно, 4 о SA. Тогда в силу леммы 7.2 имеет место декомпозиция A TwrC, в которой мощность автомата У меньше мощности автомата А, а автомат Сесть триггер. У / - либо триггеры, либо групповые автоматы, делящие Y. Так как Y есть делитель А, то эти групповые компоненты также делят А. При этом следует заметить, что автомат Y - точный.