On the Solution Sets of Entire Systems of Word Equations
: Saarela Aleksi
: Anna Frid, Robert Mercaş
: International Conference on Combinatorics on Words
: Cham
: 2023
: Lecture Notes in Computer Science
: Combinatorics on Words: 14th International Conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023, Proceedings
: Lecture Notes in Computer Science
: 13899
: 261
: 273
: 978-3-031-33179-4
: 978-3-031-33180-0
: 0302-9743
: 1611-3349
DOI: https://doi.org/10.1007/978-3-031-33180-0_20(external)
: https://link.springer.com/chapter/10.1007/978-3-031-33180-0_20(external)
: https://research.utu.fi/converis/portal/detail/Publication/179651998(external)
The set of all constant-free word equations satisfied by a given morphism is called an entire system of equations. We show that in the three-variable case, the set of nonperiodic solutions of any entire system can be described using parametric formulas with just one numerical parameter. We also show how the solution set of any equation can be represented as a union of solution sets of entire systems. Even though an infinite union is needed in some cases, this still points towards a stronger version of Hmelevskii’s theorem about parametric solutions of three-variable word equations.