3 papers
cs.FL2026
2-Head 2D Returning Finite Automata
Henning Fernau, Benedek Nagy, R. Jennifer Rose +2
We introduce and study a family of two-head finite automata called two head returning finite automata (2-HRFA) operating on rectangular arrays of picture languages, in which both h…
cs.FL2025★ 1 cited
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