The percentage of non-zero transitions found in the transducers used for testing decreases as the transducer gets larger.
when composing FSTs, we want to construct only reachable states, using a traversal scheme similar to breadth-first search to avoid the storage and computation of irrelevant elements.