Automaton transformations and monadic theories of infinite sequences

Abstract

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. © 2011 Allerton Press, Inc.