Abstract: A word $w$ is \emph{extending} a subset of states $S$ of a deterministic finite automaton if the set of states mapped to $S$ by $w$ (the preimage of $S$ under the action of $w$) is larger than $S$.