设 $M(A, I)$ 是带有对合的自由部分可换幺半群，而 $G(A, I)$ 是其商群，例如右角Artin群或Coxeter群。对于在 $M(A, I)$ 上具有可识别约束且输入规模为 $n$ 的词方程组，我们得到了解集的一个结构性结果：该方程组在 $M(A, I)$ 或群 $G(A, I)$ 中的所有解构成一个EDT0L语言。即，可以通过某个扩展幺半群上的同态由一个NFA $\mathcal{A}$ 描述。此外，$\mathcal{A}$ 可以通过一个NSPACE($n \log n$)-变换器有效构造。这表明可满足性问题（“该方程组是否有解？”）和有限性问题（“解是否无限多？”）可以在NSPACE($n \log n$) 内解决。在统一版本中，这些问题均为PSPACE完全问题，但对于适当约束类，我们有更精确的复杂度，并推测上述决策问题在此设定下为NP完全问题。我们的结果同样适用于经典情况下自由幺半群中的词方程，其中对合为从右到左读取单词。这允许我们限定解必须为回文。

Let $M(A,I)$ be a free partially commutative monoid with involution and $G(A,I)$ be its quotient group, e.g. a right-angled Artin or Coxeter group. Given a system of word equations over $M(A,I)$ with recognizable constraints with input size $n$ we show the structural result about the solution set of the system: the set of all solutions in $M(A,I)$ or in the group $G(A,I)$ is an EDT0L language. That is, it is given by an NFA $\mathcal{A}$ recognizing endomorphisms over some extended monoid. Moreover, $\mathcal{A}$ is effectively constructible by an NSPACE(n log n)-transducer. This implies that Satisfiability: `Is the system is solvable?' and Finiteness: `Are there infinitely many solutions?' can be decided in NSPACE(n log n). In the uniform version, these problems are PSPACE-complete, but for a suitable subclass of constraints we have more precise complexities and we conjecture that the decision problems above are NP-complete in this setting. Our results apply also to word equation over free monoids in the classical case where the involution is reading words right-to-left. This allows to specify that solutions are restricted to be palindromes.