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