2 papers
cs.FL2025
Uniform winning strategies for the synchronization games on subclasses of finite automata
Henning Fernau, Carolina Haase, Stefan Hoffmann +1
The pseudovariety consists of all finite monoids whose regular -classes form subsemigroups. We exhibit a uniform winning strategy for Synchronizer in the synchroni…
cs.FL2024
Winning Strategies for the Synchronization Game on Subclasses of Finite Automata
Henning Fernau, Carolina Haase, Stefan Hoffmann +1
We exhibit a winning strategy for Synchronizer in the synchronization game on every synchronizing automaton in whose transition monoid the regular D-classes form subsemigroups