Exploring Finite-Word Automata for Reactive Synthesis