Automata for the commutative closure of regular sets

Verónica Becher, Simon Lew Deveali, Ignacio Mollo Cunningham

Consider $A^{\ast }$, the free monoid generated by the finite alphabet $A$ with the concatenation operation. Two words have the same commutative image when one is a permutation of the…