Выдержка из книги
Сборник N.N.
Избранные вопросы алгебры и логики
При совместной работе автомата А с инициальным автоматом В порождается пара последовательностей ( р, q) в алфавитах X и У, где р ф ( q), q ер А ( р) При этом, если автоматы А и В работают бесконечно долго, следует рассматривать естественное распространение автоматных отображений на бесконечные последовательности.