Uniform winning strategies for the synchronization games on subclasses of finite automata

Henning Fernau, Carolina Haase, Stefan Hoffmann +1

The pseudovariety $\mathbf{DS}$ consists of all finite monoids whose regular $D$-classes form subsemigroups. We exhibit a uniform winning strategy for Synchronizer in the synchroni…