Abstract:We show that, given a word equation over a finitely generated free group, the set of all solutions in reduced words forms an EDT0L language. In particular, it is an indexed language in the sense of Aho. The question of whether a description of solution sets in reduced words as an indexed language is possible has been been open for some years, apparently without much hope that a positive answer could hold. Nevertheless, our answer goes far beyond: they are EDT0L, which is a proper subclass of indexed languages. We can additionally handle the existential theory of equations with rational constraints in free products $\star_{1 \leq i \leq s}F_i$, where each $F_i$ is either a free or finite group, or a free monoid with involution. In all cases the result is the same: the set of all solutions in reduced words is EDT0L. This was known only for quadratic word equations by Ferté, Marin and Sénizergues (ToCS 2014), which is a very restricted case. Our general result became possible due to the recent recompression technique of Jeż. In this paper we use a new method to integrate solutions of linear Diophantine equations into the process and obtain more general results than in the related paper (arXiv <a class="link-https" data-arxiv-id="1405.5133" href="https://arxiv.org/abs/1405.5133">1405.5133</a>). For example, we improve the complexity from quadratic nondeterministic space in (arXiv <a class="link-https" data-arxiv-id="1405.5133" href="https://arxiv.org/abs/1405.5133">1405.5133</a>) to quasi-linear nondeterministic space here. This implies an improved complexity for deciding the existential theory of non-abelian free groups: NSPACE($n\log n$). The conjectured complexity is NP, however, we believe that our results are optimal with respect to space complexity, independent of the conjectured NP.

On Finite-Index Indexed Grammars and Their Restrictions

On Even Linear Indexed Languages with a Reduction to the Learning of Context-Free Languages

A Shrinking Lemma for Indexed Languages

Slice closures of indexed languages and word equations with counting constraints

Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes

An Indexed Linear Logic for Idempotent Intersection Types (Long version)

Index Sets for Finite Normal Predicate Logic Programs with Function Symbols

Index concepts for linear differential-algebraic equations in finite and infinite dimensions

Restricted Global Grammar Constraints

Parikh's theorem for infinite alphabets

Restrictions on local embeddability into finite semigroups

On the existence of free sublattices of bounded index and arithmetic applications

Inverse Limits in Representations of a Restricted Lie Algebra

Linear ind-Grassmannians

Index Problems for Game Automata

On the Satisfiability of Indexed Linear Temporal Logics.

Notes on Restricted Inverse Limits of Categories

Semilinearity and Context-Freeness of Languages Accepted by Valence Automata

On the enumeration of finite $L$-algebras

Solution sets for equations over free groups are EDT0L languages -- ICALP 2015 version