Automaton transformations and monadic theories of infinite sequences
N. N. Korneeva · Russian Mathematics · 2011
In this paper we prove that the set of degrees of asynchronously automaton transformations of infinite sequences with a solvable monadic theory forms an initial segment in the set of degrees of asynchronously automaton transformations. We prove a solvability criterion for a monadic theory of a complete sequence.