|
Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 2011, Number 8, Pages 90–93
(Mi ivm7870)
|
|
|
|
This article is cited in 2 scientific papers (total in 2 papers)
Brief communications
Automaton transformations and monadic theories of infinite sequences
N. N. Korneeva Department of Algebra and Mathematical Logic, Kazan (Volga Region) Federal University, Kazan, Russia
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.
Citation:
N. N. Korneeva, “Automaton transformations and monadic theories of infinite sequences”, Izv. Vyssh. Uchebn. Zaved. Mat., 2011, no. 8, 90–93; Russian Math. (Iz. VUZ), 55:8 (2011), 78–80
Linking options:
https://www.mathnet.ru/eng/ivm7870 https://www.mathnet.ru/eng/ivm/y2011/i8/p90
|
Statistics & downloads: |
Abstract page: | 339 | Full-text PDF : | 89 | References: | 63 | First page: | 7 |
|