Выдержка из книги
Арбиб М.N.
Алгебраическая теория автоматов,языков и полугрупп
Из теории полугрупп известно ( см. раздел 1.21 из гл. Если теперь посмотреть на каскадное соединение на рис. 1, в котором самое большее - один групповой автомат и которое моделирует Л ( G; А, В; С), то сразу придем к требуемому результату.