|
Lobachevskii Journal of Mathematics, 2001, том 9, страницы 7–14
(Mi ljm124)
|
|
|
|
Atoms in the structure of degrees of automata transformations and their monadic theories
V. R. Bairasheva Kazan State University
Аннотация:
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.
Ключевые слова:
finite-state automata, reducibility, atoms, priority method.
Образец цитирования:
V. R. Bairasheva, “Atoms in the structure of degrees of automata transformations and their monadic theories”, Lobachevskii J. Math., 9 (2001), 7–14
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ljm124 https://www.mathnet.ru/rus/ljm/v9/p7
|
Статистика просмотров: |
Страница аннотации: | 171 | PDF полного текста: | 71 |
|