1: \begin{abstract}
2:
3: %It was previously noted that the commutative closure
4: %of a regular group language is also regular. But the method of
5: %proof was algebraic, and used Ramsey-type arguments.
6: %Thereby, the question of the precise form of an accepting
7: %automaton was still open.
8: %Here we construct such an automaton,
9: In this work we construct an automaton for the commutative
10: closure of a given regular group language.
11: %, i.e., a language accepted by a permutation automaton.
12: The number of states of the resulting automaton is bounded by
13: %the product of the order
14: %of the letters, viewed as permutations of the state set, times, the number of states of the original automaton plus one raised to the power of the alphabet size. %sind die kommas hier richtig gesetzt? english
15: the number of states of the original automaton, raised to the
16: power of the alphabet size, times the product of the order of the letters, viewed as permutations of the state set.
17: This gives the asymptotic state bound $O((n\exp(\sqrt{n\ln n}))^{|\Sigma|})$,
18: if the original regular language is accepted by an automaton with $n$ states.
19: %The methods are general.
20: Depending on the automaton in question, we label
21: points of $\mathbb N_0^{|\Sigma|}$ by subsets of states and introduce unary automata
22: which decompose the thus labelled grid. Based on these constructions,
23: we give a general regularity condition, which is fulfilled for group languages.
24: % We also give trade-offs for the relative
25: % descriptional complexity of jumping finite automata
26: % given by permutational letters.
27: %The methods of proof and the results
28: %also employ unary automata in a non-trivial way, hence
29: %the theme that commutative languages generalize unary languages is naturally
30: %reassured, a guiding theme in previous work of the author.
31:
32: \keywords{state complexity \and commutative closure \and group language \and permutation automaton} % \and jumping finite automata }
33: \end{abstract}
34: