Абстрактная характеризация полугрупп входных сигналов универсальных планарных автоматов

Универсальные планарные автоматы являются универсальными притягивающими объектами в категории автоматов, у которых множества состояний и выходных сигналов наделены структурами плоскостей. Получены необходимые и достаточные условия, при которых произвольный автомат изоморфен универсальному планарному автомату и произвольная полугруппа изоморфна полугруппе входных сигналов универсального планарного автомата.