1: \begin{abstract}

2: We prove that the set of all solutions  for twisted word equations 

3: with regular constraints is an  EDT0L language and can be computed in $\mathsf{PSPACE}$.

4: It follows that the set of solutions to equations with rational constraints in a context-free group (= finitely generated virtually free group) in reduced normal forms is  EDT0L.

5: We can also decide (in  $\mathsf{PSPACE}$)  whether or not the solution set is finite, which was an open problem. 

6:  Our results 

7: generalize the work by  Lohrey and S{\'e}nizergues (ICALP 2006) %\cite{LohSen06} 

8: and Dahmani and Guirardel (J. of Topology 2010) %\cite{DahmaniGui10} 

9: with respect to complexity and with respect to expressive power. Neither paper 

10: gave any concrete complexity bound and both  rely on the exponent of periodicity, so the result in these papers concern only subsets of solutions, whereas our results concern all solutions. We do more, we give, in some sense, the  ``optimal'' formal language characterization of the full solution set. \end{abstract}

11: