Studying Word Equations by a Method of Weighted Frequencies

: Saarela A

Publisher: IOS PRESS

: 2018

: Fundamenta Informaticae

: FUNDAMENTA INFORMATICAE

: FUND INFORM

: 162

: 2-3

: 223

: 235

: 13

: 0169-2968

DOI: https://doi.org/10.3233/FI-2018-1722

We briefly survey some results and open problems on word equations, especially on those equations where the right-hand side is a power of a variable. We discuss a method that was recently used to prove one of the results, and we prove improved versions of some lemmas that are related to the method and can be used as tools when studying word equations. We use the method and the tools to give new, simple proofs for several old results.