Тогда ( ЕЛ, ЕГ, v) есть гомоморфизм соответствующих полугрупповых автоматов по выходным сигналам. Единственность этого ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Плоткин Б.И.
Элементы алгебраической теории автоматов
Тогда ( ЕЛ, ЕГ, v) есть гомоморфизм соответствующих полугрупповых автоматов по выходным сигналам. Единственность этого гомоморфизма проверяется непосредственно аналогично тому, как это делалось в предыдущих предложениях.