Geodesic
Atoms in the structure of degrees of automata transformations and their monadic theories
Lobachevskii journal of mathematics, Tome 9 (2001), pp. 7-14

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

The existence of atoms of automaton reducibility degrees structure with essential different properties is proved. In the proof the priority method from the theory of recursive funtions was used.
Keywords: finite-state automata, reducibility, atoms, priority method. 
@article{LJM_2001_9_a1,
     author = {V. R. Bairasheva},
     title = {Atoms in the structure of degrees of automata transformations and their monadic theories},
     journal = {Lobachevskii journal of mathematics},
     pages = {7--14},
     publisher = {mathdoc},
     volume = {9},
     year = {2001},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/LJM_2001_9_a1/}
}
TY  - JOUR
AU  - V. R. Bairasheva
TI  - Atoms in the structure of degrees of automata transformations and their monadic theories
JO  - Lobachevskii journal of mathematics
PY  - 2001
SP  - 7
EP  - 14
VL  - 9
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/LJM_2001_9_a1/
LA  - en
ID  - LJM_2001_9_a1
ER  - 
%0 Journal Article
%A V. R. Bairasheva
%T Atoms in the structure of degrees of automata transformations and their monadic theories
%J Lobachevskii journal of mathematics
%D 2001
%P 7-14
%V 9
%I mathdoc
%U http://geodesic.mathdoc.fr/item/LJM_2001_9_a1/
%G en
%F LJM_2001_9_a1
V. R. Bairasheva. Atoms in the structure of degrees of automata transformations and their monadic theories. Lobachevskii journal of mathematics, Tome 9 (2001), pp. 7-14. http://geodesic.mathdoc.fr/item/LJM_2001_9_a1/