In this short survey we describe recent advances on word equations with non-rational constraints in groups and monoids, highlighting the important role that formal languages play in this area.

翻译：在这篇简短综述中，我们描述了群与幺半群中带非有理约束的词方程领域的最新进展，着重阐明了形式语言在此研究方向上所发挥的重要作用。