Finite-State Transducers In Language And Speech Processing
Introduction to Algorithms