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

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