|
Lobachevskii Journal of Mathematics, 2001, Volume 9, Pages 7–14
(Mi ljm124)
|
|
|
|
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.
Citation:
V. R. Bairasheva, “Atoms in the structure of degrees of automata transformations and their monadic theories”, Lobachevskii J. Math., 9 (2001), 7–14
Linking options:
https://www.mathnet.ru/eng/ljm124 https://www.mathnet.ru/eng/ljm/v9/p7
|
Statistics & downloads: |
Abstract page: | 171 | Full-text PDF : | 71 |
|