0

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

Henning Fernau
Carolina Haase
Stefan Hoffmann
Mikhail Volkov
Main:16 Pages
5 Figures
Bibliography:2 Pages
Abstract

The pseudovariety DS\mathbf{DS} consists of all finite monoids whose regular DD-classes form subsemigroups. We exhibit a uniform winning strategy for Synchronizer in the synchronization game on every synchronizing automaton whose transition monoid lies in DS\mathbf{DS}, and we prove that DS\mathbf{DS} is the largest pseudovariety with this property.

View on arXiv
Comments on this paper