1: \begin{abstract}

2: A deterministic finite (semi)automaton is primitive if its transition monoid (semigroup) acting on the set of states has no non-trivial congruences.

3: It is synchronizing if it contains a constant map (transformation).

4: In analogy to synchronizing groups, we study the possibility of characterizing automata that are synchronizing if primitive.

5: We prove that the implication holds for several classes of automata.

6: In particular, we show it for automata whose every letter induce either a permutation or a semiconstant transformation (an idempotent with one point of contraction) unless all letters are of the first type.

7: We propose and discuss two conjectures about possible more general characterizations.

8: \end{abstract}

9: