Completely Reachable Automata, Primitive Groups and the State Complexity of the Set of Synchronizing Words
Abstract
We give a new characterization of primitive permutation groups tied to the notion of completely reachable automata. Also, we introduce sync-maximal permutation groups tied to the state complexity of the set of synchronizing words of certain associated automata and show that they are contained between the $2$-homogeneous and the primitive groups. Lastly, we define $k$-reachable groups in analogy with synchronizing groups and motivated by our characterization of primitive permutation groups. But the results show that a $k$-reachable permutation group of degree $n$ with $6 \le k \le n - 6$ is either the alternating or the symmetric group.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2020
- DOI:
- 10.48550/arXiv.2007.09104
- arXiv:
- arXiv:2007.09104
- Bibcode:
- 2020arXiv200709104H
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- Mathematics - Group Theory;
- 68Q45 (Primary) 68Q19 (Secondary) 20B15 (Secondary);
- F.4.3;
- F.1.3
- E-Print:
- shortened the 1st version by leaving out the part about binary automata