полугруппы

О МНОГООБРАЗИЯХ УПОРЯДОЧЕННЫХ ПОЛУГРУПП С ОПЕРАЦИЯМИ ЦИЛИНДРОФИКАЦИИ

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

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

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