1 problem
- 0 votes0 replies1 view
Orlik's conjecture for synchronising automata
Let a deterministic finite automaton have states, and call a finite sequence of actions a reset word if it sends every initial state to the same state. If reset words exist, le…