Implementation of the algorithm for testing an automaton for synchronization in linear expected time

Pavel Ageev

Berlinkov has suggested an algorithm that, given a deterministic finite automaton $\mathcal{A}$, verifies whether or not $\mathcal{A}$ is synchronizing in linear (of the number of…