V. R. Bairasheva, “Atoms in the structure of degrees of automata transformations and their monadic theories”, Lobachevskii J. Math., 2001, Volume 9,Pages <nobr>7

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

V. R. Bairasheva

Kazan State University

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.

Keywords: finite-state automata, reducibility, atoms, priority method.

Submitted by: M. M. Arslanov
Received: 01.12.2001

Language: English