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.
生成讲解博客的中文版本
生成AI智能校验的中文版本