Skip to main content
SpringerLink
Log in
Book cover

International Conference on Language and Automata Theory and Applications

LATA 2011: Language and Automata Theory and Applications pp 22–40Cite as

Automatic Structures and Groups

  • Conference paper

  • 676 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 6638))

Abstract

Automata theory has unified many areas of computer science and mathematics. These include group theory (Thurston automatic groups [11], branch and self similar groups [1] [24]), computable model theory (the theory of automatic structures [5] [17] [16]), finite model theory, algorithms and decidability, logic, model checking and verification.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bartholdi, L., Grigorchuk, R.I., Šuniḱ, Z.: Branch groups. In: Handbook of Algebra, vol. 3, pp. 989–1112. North-Holland, Amsterdam (2003)

    Google Scholar 

  2. Bartholdi, L., Henriques, A.G., Nekrashevych, V.V.: Automata, groups, limit spaces, and tilings. J. Algebra 305(2), 629–663 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  3. Baumslag, G.: Wreath products and finitely presented groups. Math. Z. 75, 22–28 (1960/1961)

    Article  MathSciNet  MATH  Google Scholar 

  4. Blumensath, A.: Automatic structures. Diploma thesis, RWTH-Aachen (1999)

    Google Scholar 

  5. Blumensath, A., Grädel, E.: Automatic structures. In: 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, CA, pp. 51–62. IEEE Computer Society Press, Los Alamitos (2000)

    Google Scholar 

  6. Bogopolski, O.: Introduction to group theory. EMS Textbooks in Mathematics. European Mathematical Society (EMS), Zürich (2008); x+177 Translated, revised and expanded from the 2002 Russian original

    Google Scholar 

  7. Choffrut, C.: A short introduction to automatic group theory. In: Semigroups, Algorithms, Automata and Languages, Coimbra, 2001, pp. 133–154. World Sci., River Edge (2002)

    Chapter  Google Scholar 

  8. Colcombet, T., Löding, C.: Transforming structures by set interpretations. Logical Methods in Computer Science 3(2:4), 1–36 (2007)

    MathSciNet  MATH  Google Scholar 

  9. Dehn, M.: Über unendliche diskontinuierliche Gruppen. Math. Ann. 71(1), 116–144 (1911)

    Article  MathSciNet  MATH  Google Scholar 

  10. Dehn, M.: Transformation der Kurven auf zweiseitigen flächen. Math. Ann. 72(3), 413–421 (1912)

    Article  MathSciNet  MATH  Google Scholar 

  11. Epstein, D.B.A., Cannon, J.W., Holt, D.F., Levy, S.V.F., Paterson, M.S., Thurston, W.P.: Word Processing in Groups. Jones and Bartlett, Boston (1992)

    MATH  Google Scholar 

  12. Gersten, S.: Introduction to hyperbolic and automatic groups. In: Summer School in Group Theory in Banff, 1996. CRM Proc. Lecture Notes, vol. 17, pp. 45–70. Amer. Math. Soc., Providence (1999)

    Chapter  Google Scholar 

  13. Gurevich, Y., Shelah, S.: Rabin’s uniformization problem. J. Symb. Log. 48(4), 1105–1119 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  14. Hodgson, B.R.: On direct products of automaton decidable theories. Theoretical Computer Science 19(3), 331–335 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  15. Khoussainov, B., Minnes, M.: Model-theoretic complexity of automatic structures. Ann. Pure Appl. Logic 161(3), 416–426 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  16. Khoussainov, B., Minnes, M.: Three lectures on automatic structures. In: Proceedings of Logic Colloquium 2007. Lecture Notes in Logic, vol. 35, pp. 132–176 (2010)

    Google Scholar 

  17. Khoussainov, B., Nerode, A.: Automatic presentations of structures. In: Leivant, D. (ed.) LCC 1994. LNCS, vol. 960, pp. 367–392. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  18. Khoussainov, B., Nerode, A.: Open questions in the theory of automatic structures. Bull. Eur. Assoc. Theor. Comput. Sci. EATCS (94), 181–204 (2008)

    Google Scholar 

  19. Khoussainov, B., Nies, A., Rubin, S., Stephan, F.: Automatic structures: Richness and limitations. In: 19th IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, July 14-17. Logical Methods in Computer Science, vol. 3(2), pp. 44–53. IEEE Computer Society, Los Alamitos (2007)

    Google Scholar 

  20. Khoussainov, B., Rubin, S., Stephan, F.: Automatic linear orders and trees. ACM Trans. Comput. Log 6(4), 675–700 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  21. Kuske, D., Liu, J., Lohrey, M.: The isomorphism problem on classes of automatic structures. In: LICS, pp. 160–169. IEEE Computer Society, Los Alamitos (2010)

    Google Scholar 

  22. Kuske, D., Lohrey, M.: First-order and counting theories of ω-automatic structures. J. Symb. Log 73(1), 129–150 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  23. Kuske, D., Lohrey, M.: Some natural decision problems in automatic graphs. J. Symb. Log 75(2), 678–710 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  24. Nekrashevych, V.: Self-similar groups. In: Mathematical Surveys and Monographs, vol. 117. American Mathematical Society, Providence (2005)

    Google Scholar 

  25. Nies, A., Semukhin, P.: Finite automata presentable abelian groups. Ann. Pure Appl. Logic 161(3), 458–467 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  26. Rosenstein, J.G.: Linear orderings. Academic Press, New York (1981)

    MATH  Google Scholar 

  27. Rubin, S.: Automatic Structures. PhD dissertation, The University of Auckland (2004)

    Google Scholar 

  28. Rubin, S.: Automata presenting structures: A survey of the finite string case. Bulletin of Symbolic Logic 14(2), 169–209 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  29. Tsankov, T.: The additive group of the rationals does not have an automatic presentation. Journal for Symbolic Logic (to appear)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Auckland, New Zealand

    Bakhadyr Khoussainov

Authors
  1. Bakhadyr Khoussainov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Avinguda Catalunya, 35, 43002, Tarragona, Spain

    Adrian-Horia Dediu  & Carlos Martín-Vide  & 

  2. Department of Informatics, Kyushu University, 744 Motooka, 819–0395, Fukuoka, Japan

    Shunsuke Inenaga

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Khoussainov, B. (2011). Automatic Structures and Groups. In: Dediu, AH., Inenaga, S., Martín-Vide, C. (eds) Language and Automata Theory and Applications. LATA 2011. Lecture Notes in Computer Science, vol 6638. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21254-3_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21254-3_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21253-6

  • Online ISBN: 978-3-642-21254-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation