A cornering strategy for synchronizing a DFA

Peter Bradshaw, Alexander Clow, Ladislav Stacho

This paper considers the existence of short synchronizing words in deterministic finite automata (DFAs). We define two general strategies for generating synchronizing words, and we…