Word Equations, Constraints, and Formal Languages
摘要
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.