RUS  ENG
Full version
JOURNALS // Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki // Archive
Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 2012 Volume 154, Book 2, Pages 117–124 (Mi uzku1124)
This article is cited in 1 paper

Monadic theories of infinite sequences under asynchronous automata transformations

N. N. Korneeva

Institute of Mathematics and Mechanics, Kazan (Volga Region) Federal University

Abstract: 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.

Keywords: automata transformations, monadic theories, complete sequences.

UDC: 519.71

Received: 16.02.2012


© Steklov Math. Inst. of RAS, 2025