Synchronization in automata theory concerns the existence and construction of special input sequences—synchronizing or reset words—that drive all states of a finite automaton to a single designated ...