Abstract. Geometry and Diophantine equations have been ever-present in mathematics. Diophantus of Alexandria was born in the 3rd century (as far as we know), but a systematic mathematical study of word equations began only in the 20th century. So, the title of the present article does not seem to be justified at all. However, a linear Diophantine equation can be viewed as a special case of a system of word equations over a unary alphabet, and, more importantly, a word equation can be viewed as a special case of a Diophantine equation. Hence, the problem WordEquations: "Is a given word equation solvable?", is intimately related to Hilbert's 10th problem on the solvability of Diophantine equations. This became clear to the Russian school of mathematics at the latest in the mid 1960s, after which a systematic study of that relation began. Here, we review some recent developments which led to an amazingly simple decision procedure for WordEquations, and to the description of the set of all solutions as an EDT0L language.
Word EquationsA word equation is easy to describe: it is a pair (U, V ) where U and V are strings over finite sets of constants A and variables Ω. A solution is mapping σ : Ω → A * which is extended to homomorphism σ : (A ∪ Ω) * → A * such that σ(U ) = σ(V ). Word equations are studied in other algebraic structures and frequently one is not interested only in satisfiability. For example, one may be interested in all solutions, or only in solutions satisfying additional criteria like rational constraints for free groups [6]. Here, we focus on the simplest case of word equations over free monoids; and by WordEquations we understand the formal language of all word equations (over a given finite alphabet A) which are satisfiable, that is, for which there exists a solution.
HistoryThe problem WordEquations is closely related to the theory of Diophantine equations. The publication of Hilbert's 1900 address to the International Congress of Mathematicians listed 23 problems. The tenth problem (Hilbert 10) is:"Given a Diophantine equation with any number of unknown quantities and with rational integral numerical coefficients: To devise a process according to which it can be determined in a finite number of operations whether the equation is solvable in rational integers."