On the Synchronization of Circular Semi-Flower Automata

Shubh N. Singh,Ankit Raj
DOI: https://doi.org/10.48550/arXiv.1808.01711
2018-08-06
Formal Languages and Automata Theory
Abstract:Pin proved that every circular automaton with a prime number of states containing a non-permutation is synchronizing. In this paper, we investigate the synchronization of circular semi-flower automata. We first prove that every semi-flower automaton is a one-cluster automaton. Subsequently, we prove that every semi-flower automaton containing a 1-cycle is synchronizing. Further, we prove that every circular semi-flower automaton with an odd number of states containing a 2-cycle is synchronizing.
What problem does this paper attempt to address?