Skip to main content
Springer Nature Link
Log in

Word Equations, Constraints, and Formal Languages

  • Conference paper
  • First Online:
Developments in Language Theory (DLT 2024)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14791))

Included in the following conference series:

  • 245 Accesses

Abstract

In this short survey we describe recent advances on word equations with non-rational constraints in groups and monoids, highlighting the important role that formal languages play in this area.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Abdulla, P.A., et al.: String Constraints for Verification. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 150–166. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08867-9_10

  2. Amadini, R.: A survey on string constraint solving. ACM Comput. Surv. 55(1) (2021)

    Google Scholar 

  3. Büchi, J.R., Senger, S.: Definability in the existential theory of concatenation and undecidable extensions of this theory. Zeitschrift mathematische Logik Grundlagen Math. 34(4), 337–342 (1988)

    Article  MathSciNet  Google Scholar 

  4. Ciobanu, L., Evetts, A., Levine, A.: Effective equation solving, constraints and growth in virtually abelian groups (2023). https://arxiv.org/abs/2309.00475

  5. Ciobanu, L., Garretta, A.: Group equations with abelian predicates. Int. Math. Res. Not. 2024(5), 4119–4159 (2024). https://arxiv.org/abs/2204.13946

  6. Ciobanu, L., Levine, A.: Languages, Groups and Equations, Languages and Automata: Gagta Book 3 (2024). https://arxiv.org/abs/2303.07825

  7. Ciobanu, L., Diekert, V., Elder, M.: Solution sets for equations over free groups are EDT0L languages. Internat. J. Algebra Comput. 26, 843– 886 (2016). Conference Abstract in ICALP 2015. LNCS, vol. 9135 with full version on ArXiv e-prints: abs/1502.03426

    Google Scholar 

  8. Ciobanu, L., Holt, D., Rees, S.: Equations in groups that are virtually direct products. J. Algebra 545, 88–99 (2020). MR4044690

    Article  MathSciNet  Google Scholar 

  9. Ciobanu, L., Zetzsche, G.: Slice closures of indexed languages and word equations with counting constraints. In: Proceedings of the Thirty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024) (2024, to appear)

    Google Scholar 

  10. Dahmani, F.: Existential questions in (relatively) hyperbolic groups. Israel J. Math. 173, 91–124 (2009). MR2570661

    Article  MathSciNet  Google Scholar 

  11. Dahmani, F., Guirardel, V.: Foliations for solving equations in groups: free, virtually free, and hyperbolic groups. J. Topol. 3(2), 343–404 (2010)

    Article  MathSciNet  Google Scholar 

  12. Day, J.D., Ganesh, V., He, P., Manea, F., Nowotka, D.: The satisfiability of word equations: decidable and undecidable theories. In: International Conference on Reachability Problems, pp. 15–29 (2018)

    Google Scholar 

  13. Diekert, V., Gutiérrez, C., Hagenah, C.: The existential theory of equations with rational constraints in free groups is PSPACE-complete. In: Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2001), Dresden, Germany, pp. 170–182 (2001)

    Google Scholar 

  14. Diekert, V., Lohrey, M.: Word equations over graph products. Internat. J. Algebra Comput. 18(3), 493–533 (2008). MR4113851

    Article  MathSciNet  Google Scholar 

  15. Diekert, V., Muscholl, A.: Solvability of equations in graph groups is decidable. Internat. J. Algebra Comput. 16(6), 1047–1069 (2006). MR2286422

    Article  MathSciNet  Google Scholar 

  16. Duchin, M., Liang, H., Shapiro, M.: Equations in nilpotent groups. Proc. Amer. Math. Soc. 143(11), 4723–4731 (2015). MR3391031

    Article  MathSciNet  Google Scholar 

  17. Evetts, A., Levine, A.: Equations in virtually abelian groups: languages and growth. Internat. J. Algebra Comput. 32(3), 411–442 (2022). MR4417480

    Article  MathSciNet  Google Scholar 

  18. Ganesh, V., Minnes, M., Solar-Lezama, A., Rinard, M.: Word equations with length constraints: what’s decidable? In: Biere, A., Nahir, A., Vos, T. (eds.) HVC 2012. LNCS, vol. 7857, pp. 209–226. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-39611-3_21

    Chapter  Google Scholar 

  19. Garreta, A., Gray, R.: On equations and first-order theory of one-relator monoids. Inform. and Comput. 281 (2021)

    Google Scholar 

  20. Liang, H.: Equation problem over central extensions of hyperbolic groups. J. Topol. Anal. 6(2), 167–192 (2014). MR3191648

    Article  MathSciNet  Google Scholar 

  21. Lysenok, I., Miasnikov, A., Ushakov, A.: Quadratic equations in the Grigorchuk group. Groups Geom. Dyn. 10(1), 201–239 (2016)

    Article  MathSciNet  Google Scholar 

  22. Majumdar, R., Lin, A.W.: Quadratic word equations with length constraints, counter systems, and presburger arithmetic with divisibility. Log. Methods Comput. Sci. 17 (2021)

    Google Scholar 

  23. Makanin, G.S.: Equations in a free group. Izv. Akad. Nauk SSR Ser. Math. 46, 1199–1273 (1983). English transl. in Math. USSR Izv. 21 (1983)

    Google Scholar 

  24. Mandel, R., Ushakov, A.: Quadratic equations in metabelian Baumslag-Solitar groups. Internat. J. Algebra Comput. 33(06), 1195–1216 (2023)

    Article  MathSciNet  Google Scholar 

  25. Rips, E., Sela, Z.: Canonical representatives and equations in hyperbolic groups. Invent. Math. 120(3), 489–512 (1995). MR1334482

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Heriot-Watt University and Maxwell Institute, Edinburgh, EH14 4AS, Scotland

    Laura Ciobanu

Authors
  1. Laura Ciobanu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Laura Ciobanu .

Editor information

Editors and Affiliations

  1. Loughborough University, Loughborough, UK

    Joel D. Day

  2. University of Göttingen, Göttingen, Germany

    Florin Manea

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Ciobanu, L. (2024). Word Equations, Constraints, and Formal Languages. In: Day, J.D., Manea, F. (eds) Developments in Language Theory. DLT 2024. Lecture Notes in Computer Science, vol 14791. Springer, Cham. https://doi.org/10.1007/978-3-031-66159-4_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-66159-4_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-66158-7

  • Online ISBN: 978-3-031-66159-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics