Exact Generalization of Finite-State Transductions : Application to Grapheme-to-Phoneme Transcription