English

Synchronizing Random Almost-Group Automata

Formal Languages and Automata Theory 2018-05-08 v1

Abstract

In this paper we address the question of synchronizing random automata in the critical settings of almost-group automata. Group automata are automata where all letters act as permutations on the set of states, and they are not synchronizing (unless they have one state). In almost-group automata, one of the letters acts as a permutation on n1n-1 states, and the others as permutations. We prove that this small change is enough for automata to become synchronizing with high probability. More precisely, we establish that the probability that a strongly connected almost-group automaton is not synchronizing is 2k11n2(k1)(1+o(1))\frac{2^{k-1}-1}{n^{2(k-1)}}(1+o(1)), for a kk-letter alphabet.

Keywords

Cite

@article{arxiv.1805.02154,
  title  = {Synchronizing Random Almost-Group Automata},
  author = {Mikhail V. Berlinkov and Cyril Nicaud},
  journal= {arXiv preprint arXiv:1805.02154},
  year   = {2018}
}

Comments

full version prepared for CIAA 2018

R2 v1 2026-06-23T01:46:11.915Z