Various utilities regarding Levenshtein transducers.