Выдержка из книги
Арбиб М.N.
Алгебраическая теория автоматов,языков и полугрупп
В частности, если мы выберем в качестве Я группу, состоящую из одного тождественного преобразования, то увидим, что произвольный перестановочно-возвратный автомат можно построить как каскадное соединение группового автомата и автомата, каждое отображение переходов которого либо возвратное, либо тождественное.
