Quantitative Languages Defined by Functional Automata
Finite-State Transducers In Language And Speech Processing