Geodesic
Monadic theories of infinite sequences under asynchronous automata transformations
Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, Tome 154 (2012) no. 2, pp. 117-124

Voir la notice du chapitre de livre provenant de la source Math-Net.Ru

It is proved that the decidability property of the monadic theories for infinite sequences remains under asynchronous automata transformations. We get a criterion of decidability for the monadic theory of a complete sequence.
Mots-clés : automata transformations
Keywords: monadic theories, complete sequences. 
@article{UZKU_2012_154_2_a11,
     author = {N. N. Korneeva},
     title = {Monadic theories of infinite sequences under asynchronous automata transformations},
     journal = {U\v{c}\"enye zapiski Kazanskogo universiteta. Seri\^a Fiziko-matemati\v{c}eskie nauki},
     pages = {117--124},
     publisher = {mathdoc},
     volume = {154},
     number = {2},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/UZKU_2012_154_2_a11/}
}
TY  - JOUR
AU  - N. N. Korneeva
TI  - Monadic theories of infinite sequences under asynchronous automata transformations
JO  - Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
PY  - 2012
SP  - 117
EP  - 124
VL  - 154
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZKU_2012_154_2_a11/
LA  - ru
ID  - UZKU_2012_154_2_a11
ER  - 
%0 Journal Article
%A N. N. Korneeva
%T Monadic theories of infinite sequences under asynchronous automata transformations
%J Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
%D 2012
%P 117-124
%V 154
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZKU_2012_154_2_a11/
%G ru
%F UZKU_2012_154_2_a11
N. N. Korneeva. Monadic theories of infinite sequences under asynchronous automata transformations. Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, Tome 154 (2012) no. 2, pp. 117-124. http://geodesic.mathdoc.fr/item/UZKU_2012_154_2_a11/