Atoms in the structure of degrees of automata transformations and their monadic theories

Abstract

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.