A weight pushing algorithm for large vocabulary speech recognition
Weighted finite-state transducers in speech recognition