Abstract:
In this paper we prove that the set of degrees of asynchronous automaton transformations of infinite sequences with a solvable monadic theory is an initial segment in the set of degrees of asynchronous automaton transformations. We prove a solvability criterion for a monadic theory of a complete sequence.
Keywords:automaton transformations, monadic theories of infinite sequences, complete sequences.
UDC:519.71
Presented by the member of Editorial Board:M. M. Arslanov Received: 27.12.2010
Fulltext:
PDF file (144 kB)