1: \begin{abstract}

2: 

3: 

4: 

5:   

6:   

7:   

8:   We give a new characterization of primitive permutation groups

9:   tied to the notion of completely reachable automata.

10:   Also, we introduce sync-maximal permutation groups tied

11:   to the state complexity of the set of synchronizing words of certain associated automata

12:   and show that they are contained between the $2$-homogeneous

13:   and the primitive groups.

14:   %Furthermore,  

15:   %for automata

16:   %containing groups and for automata over a binary alphabet,

17:   %we state several sufficient criteria which

18:   %give %synchronizing 

19:   %automata for which the state complexity

20:   %of the set of synchronizing words is maximal.

21:   %One such criterion applies 

22:   %These apply 

23:   %to a family of automata

24:   %from the literature for which this was only conjectured.

25:   %Hence, we solve an open open and give a wealth of additional 

26:   %automata with this property. 

27:   Lastly, we define $k$-reachable %completely reachable

28:   groups in analogy with synchronizing groups and motivated by our characterization

29:   of primitive permutation groups. 

30:   %But the results show

31:   %that only the alternating and the symmetric groups

32:   %arise. %are $k$-reachable.% in this sense.

33:   But the results show that a $k$-reachable permutation group of degree $n$

34:   with $6 \le k \le n - 6$ is either the alternating or the symmetric group.

35:   

36:    %

37:   % aperidoc 1-contracting sind doch die binären mit zyklus und rk n -1

38:   % siehe don paper, also gilt doch äquvalenz, und damit compl reachable in P entscheidbar

39:   % zu beiden mit look-up table image untersuchen, bzw. bahn berechnen.

40:  

41:  \keywords{finite automata \and synchronization \and completely reachable automata 

42:  \and primitive permutation groups \and state complexity %\and set of synchronizing words

43:  } 

44: \end{abstract}

45: