Uniform winning strategies for the synchronization games on subclasses of finite automata
Henning Fernau
Carolina Haase
Stefan Hoffmann
Mikhail Volkov
- AI4CE

Main:16 Pages
5 Figures
Bibliography:2 Pages
Abstract
The pseudovariety consists of all finite monoids whose regular -classes form subsemigroups. We exhibit a uniform winning strategy for Synchronizer in the synchronization game on every synchronizing automaton whose transition monoid lies in , and we prove that is the largest pseudovariety with this property.
View on arXivComments on this paper
