The synchronization problem for strongly transitive automata