Skip to main content
SpringerLink
Log in

Automaton transformations and monadic theories of infinite sequences

  • Brief Communications
  • Published:
Russian Mathematics Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. G. Reina, “Degrees of Finite-State Transformations,” Kibernetich. Sborn., No. 14, 95–106 (1977).

  2. N. N. Korneeva, “Degrees of Asynchronously Automaton Transformations,” Izv. Vyssh.Uchebn. Zaved. Mat., No. 3, 30–40 (2011) [RussianMathematics (Iz. VUZ) 55 (3), 26–35 (2011)].

  3. V. B. Kudryavtsev, S. V. Aleshin, and A. S. Podkolzin, Introduction to Automata Theory (Nauka, Moscow, 1985) [in Russian].

    MATH  Google Scholar 

  4. V. R. Bairasheva, “Degrees of Automaton Transformations of Almost Periodic Superwords and Superwords with Solvability ofMonadic Theory,” Available from VINITI, No. 3103-B89 (Kazan, 1989).

  5. An. A. Muchnik, Yu. L. Pritykin, and A. L. Semenov, “Sequences Close to Periodic,” Usp. Mat. Nauk 64(5), 21–96 (2009).

    MathSciNet  Google Scholar 

  6. H. G. Gordon, “Complete Degrees of Finite-State Transformability,” Inform. and Control, 32, 169–187 (1976).

    Article  MATH  Google Scholar 

  7. H. G. Gordon, “An Isomorphism of Complete Degrees of Finite-State Transformability,” Inform. and Control, 40, 192–204 (1979).

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Kazan (Volga Region) Federal University, ul. Kremlyovskaya 18, Kazan, 420008, Russia

    N. N. Korneeva

Authors
  1. N. N. Korneeva
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to N. N. Korneeva.

Additional information

Original Russian Text © N.N. Korneeva, 2011, published in Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika, 2011, No. 8, pp. 90–93.

Submitted by M.M. Arslanov

About this article

Cite this article

Korneeva, N.N. Automaton transformations and monadic theories of infinite sequences. Russ Math. 55, 78–80 (2011). https://doi.org/10.3103/S1066369X11080123

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S1066369X11080123

Keywords and phrases

Search

Navigation