Выдержка из книги
Плоткин Б.И.
Элементы алгебраической теории автоматов
Мы рассматриваем в основном полугрупповые автоматы. Рассмотрим автомат А - ( А, X, В) с произвольным множеством X входных сигналов. Возьмем в А тройку множеств ( Z, X, Y): пусть этой тройкой нужно породить подавтомат в А.