Geodesic
On problem of abstract definability of universal hypergraphic automata by input symbol semigroup
Čebyševskij sbornik, Tome 20 (2019) no. 2, pp. 259-272

Voir la notice de l'article provenant de la source Math-Net.Ru

Hypergraphic automata are automata, state sets and output symbol sets of which are hypergraphs, being invariant under actions of transition and output functions. Universally attracting objects in the category of such automata are called universal hypergraphic automata. The semigroups of input symbols of such automata are derivative algebras of mappings for such automata. Semigroup properties are interconnected with properties of the automaton. Therefore, we can study universal hypergraphic automata by investigation of their input symbol semigroups. In this paper, we solve a problem of abstract definability of such automata by their input symbol semigroups. This problem is to find the conditions of isomorphism of semigroups of input symbols of universal hypergraphic automata. The main result of the paper is the solving of this problem for universal hypergraphic automata over effective hypergraphs with $p$-definable edges. It is a wide and a very important class of automata because such algebraic systems contain automata whose state hypergraphs and output symbol hypergraphs are projective or affine planes. Also they include automata whose state hypergraphs and output symbol hypergraphs are divided into equivalence classes without singleton classes. In the current study, we proved that such automata were determined up to isomorphism by their input symbol semigroups and we described the structure of isomorphisms of such automata.
Keywords: problem of abstract definability, automaton, hypergraph, semigroup. 
@article{CHEB_2019_20_2_a19,
     author = {V. A. Molchanov and E. V. Khvorostukhina},
     title = {On problem of abstract definability of universal hypergraphic automata by input symbol semigroup},
     journal = {\v{C}eby\v{s}evskij sbornik},
     pages = {259--272},
     publisher = {mathdoc},
     volume = {20},
     number = {2},
     year = {2019},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/CHEB_2019_20_2_a19/}
}
TY  - JOUR
AU  - V. A. Molchanov
AU  - E. V. Khvorostukhina
TI  - On problem of abstract definability of universal hypergraphic automata by input symbol semigroup
JO  - Čebyševskij sbornik
PY  - 2019
SP  - 259
EP  - 272
VL  - 20
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CHEB_2019_20_2_a19/
LA  - ru
ID  - CHEB_2019_20_2_a19
ER  - 
%0 Journal Article
%A V. A. Molchanov
%A E. V. Khvorostukhina
%T On problem of abstract definability of universal hypergraphic automata by input symbol semigroup
%J Čebyševskij sbornik
%D 2019
%P 259-272
%V 20
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CHEB_2019_20_2_a19/
%G ru
%F CHEB_2019_20_2_a19
V. A. Molchanov; E. V. Khvorostukhina. On problem of abstract definability of universal hypergraphic automata by input symbol semigroup. Čebyševskij sbornik, Tome 20 (2019) no. 2, pp. 259-272. http://geodesic.mathdoc.fr/item/CHEB_2019_20_2_a19/