recognition with weighted finite - state transducers .
A weight pushing algorithm for large vocabulary speech recognition