Atoms in the structure of degrees of automata transformations and their monadic theories
(Lobachevskii Journal of Mathematics, Volume IX)
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.