Generalized Eilenberg Theorem I: Local Varieties of Languages

  • Jiří Adámek
  • Stefan Milius
  • Robert S. R. Myers
  • Henning Urbat
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8412)

Abstract

We investigate the duality between algebraic and coalgebraic recognition of languages to derive a generalization of the local version of Eilenberg’s theorem. This theorem states that the lattice of all boolean algebras of regular languages over an alphabet Σ closed under derivatives is isomorphic to the lattice of all pseudovarieties of Σ-generated monoids. By applying our method to different categories, we obtain three related results: one, due to Gehrke, Grigorieff and Pin, weakens boolean algebras to distributive lattices, one due to Polák weakens them to join-semilattices, and the last one considers vector spaces over ℤ2.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Adámek, J., Milius, S., Velebil, J.: Iterative algebras at work. Math. Structures Comput. Sci. 16(6), 1085–1131 (2006)CrossRefMATHMathSciNetGoogle Scholar
  2. 2.
    Adámek, J., Rosický, J.: Locally presentable and accessible categories. Cambridge University Press (1994)Google Scholar
  3. 3.
    Almeida, J.: Finite semigroups and universal algebra. World Scientific Publishing, River Edge (1994)MATHGoogle Scholar
  4. 4.
    Eilenberg, S.: Automata, languages and machines, vol. B. Academic Press, Harcourt Brace Jovanovich Publishers, New York (1976)MATHGoogle Scholar
  5. 5.
    Gehrke, M.: Stone duality, topological algebra and recognition (2013), http://hal.archives-ouvertes.fr/hal-00859717
  6. 6.
    Gehrke, M., Grigorieff, S., Pin, J.-É.: Duality and equational theory of regular languages. In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part II. LNCS, vol. 5126, pp. 246–257. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  7. 7.
    Gehrke, M., Grigorieff, S., Pin, J.-É.: A topological approach to recognition. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010, Part II. LNCS, vol. 6199, pp. 151–162. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  8. 8.
    Johnstone, P.T.: Stone Spaces, Cambridge studies in advanced mathematics, vol. 3. Cambridge University Press (1982)Google Scholar
  9. 9.
    Milius, S.: A sound and complete calculus for finite stream circuits. In: Proc. 25th Annual Symposium on Logic in Computer Science (LICS 2010), pp. 449–458. IEEE Computer Society (2010)Google Scholar
  10. 10.
    Pin, J.É.: Mathematical foundations of automata theory (2013), http://www.liafa.jussieu.fr/~jep/PDF/MPRI/MPRI.pdf
  11. 11.
    Pippenger, N.: Regular languages and Stone duality. Theory Comput. Syst. 30(2), 121–134 (1997)CrossRefMATHMathSciNetGoogle Scholar
  12. 12.
    Polák, L.: Syntactic semiring of a language. In: Sgall, J., Pultr, A., Kolman, P. (eds.) MFCS 2001. LNCS, vol. 2136, pp. 611–620. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  13. 13.
    Reiterman, J.: The Birkhoff theorem for finite algebras. Algebra Universalis 14(1), 1–10 (1982)CrossRefMATHMathSciNetGoogle Scholar
  14. 14.
    Rhodes, J., Steinberg, B.: The Q-theory of Finite Semigroups, 1st edn. Springer Publishing Company, Incorporated (2008)Google Scholar
  15. 15.
    Rutten, J.J.M.M.: Universal coalgebra: A theory of systems. Theor. Comput. Sci. 249(1), 3–80 (2000)CrossRefMATHMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Jiří Adámek
    • 1
  • Stefan Milius
    • 2
  • Robert S. R. Myers
    • 1
  • Henning Urbat
    • 1
  1. 1.Institut für Theoretische InformatikTechnische Universität BraunschweigGermany
  2. 2.Lehrstuhl für Theoretische InformatikFriedrich-Alexander-Universität Erlangen-NürnbergGermany

Personalised recommendations