×

Atoms in the structure of degrees of automata transformations and their monadic theories. (English) Zbl 0982.68082

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
PDFBibTeX XMLCite
Full Text: EuDML EMIS