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 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice du chapitre de livre

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},
     year = {2012},
     volume = {154},
     number = {2},
     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
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
%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/

[1] Reina G., “Stepeni avtomatnykh preobrazovanii”, Kibern. sb., 14, 1977, 95–106

[2] Korneeva N. N., “Stepeni asinkhronno avtomatnykh preobrazovanii”, Izv. vuzov. Matem., 2011, no. 3, 30–40 | MR | Zbl

[3] Kudryavtsev V. B., Aleshin S. V., Podkolzin A. S., Vvedenie v teoriyu avtomatov, Nauka, M., 1985, 320 pp. | MR | Zbl

[4] Bairasheva V. R., Stepeni avtomatnykh preobrazovanii pochti periodicheskikh sverkhslov i sverkhslov s razreshimoi monadicheskoi teoriei, Dep. v VINITI 11.05.1989 No 3103-V89, Kazan, 1989, 29 pp.

[5] Muchnik An. A., Pritykin Yu. L., Semenov A. L., “Posledovatelnosti, blizkie k periodicheskim”, Usp. mat. nauk, 64:5 (2009), 21–96 | DOI | MR | Zbl

[6] McNaughton R., “Testing and generating infinite sequences by a finite automaton”, Inform. Control, 9 (1966), 521–530 | DOI | MR | Zbl

[7] Gordon H. G., “Complete Degrees of Finite-State Transformability”, Inform. Control, 32 (1976), 169–187 | DOI | MR | Zbl

[8] Korneeva N. N., “Ob avtomatnykh preobrazovaniyakh i monadicheskikh teoriyakh beskonechnykh posledovatelnostei”, Izv. vuzov. Matem., 2011, no. 8, 90–93 | MR | Zbl