Bairasheva, V. R. Atoms in the structure of degrees of automata transformations and their monadic theories. (English) Zbl 0982.68082 Lobachevskii J. Math. 9, 7-14 (2001). Summary: 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 functions was used. MSC: 68Q45 Formal languages and automata Keywords:finite-state automata; reducibility; priority method PDFBibTeX XMLCite \textit{V. R. Bairasheva}, Lobachevskii J. Math. 9, 7--14 (2001; Zbl 0982.68082) Full Text: EuDML EMIS