полугруппы

On Varieties of Partially Ordered Semigroups with Operations of Cylindrification

The finite basis of identities of the varieties of the ordered algebras generated by partially ordered semigroups of binary relations with cylindrifications operations is found in this paper.

Representation of universal planar automata by autonomous input signals

Universal planar automata are universally attracted objects in the category of automata, whose sets of states and output signals are endowed with structures of planes. The main result of the paper shows that any universal planar automaton is isomorphic to a many-sorted algebraic system canonically constructed from autonomous input signals of the automaton.