A weight pushing algorithm for large vocabulary speech recognition
Finite-State Transducers In Language And Speech Processing