6238599486595c7e.tex
1: \begin{abstract}
2:  We identify a subclass
3:  of the regular commutative languages that is closed
4:  under the iterated shuffle, or shuffle closure.
5:  In particular, it is regularity-preserving on this subclass. This subclass contains 
6:  the commutative group languages
7:  and, for every alphabet $\Sigma$, the class $\textbf{Com}^+(\Sigma^*)$
8:  given by the ordered variety $\textbf{Com}^+$.
9:  Then, we state a simple characterization
10:  when the iterated shuffle on finite commutative languages
11:  gives a regular language again and state partial results for aperiodic
12:  commutative languages.
13:  We also show that the  aperiodic, or star-free, commutative languages
14:  and the commutative group languages are closed under projection.
15:  
16:  
17:  \keywords{finite automata \and commutative languages  \and closure properties \and 
18:   iterated shuffle \and shuffle closure \and regularity-preserving operations} 
19: \end{abstract}
20: