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

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