Recognizable transductions constitute a proper subclass of rational transductions, characterized by the well-known Mezei’s Theorem. We propose a family of transducers which reflect accurately this characterization, and we study their properties and their algorithmic aspects. We base our construct on the observation that there is a connection between recognizable transductions and languages consisting of edit strings. More specifically, we define a saturated transducer to be a transducer with the property that accepts all possible edit strings corresponding to each accepted pair of words, when viewed as an automaton over the edit alphabet. We revisit the theory behind recognizable transductions from the point of view of saturated transducers, and we give constructive proofs as well as descriptional complexities for their closure properties. For example, we give a novel and rather complex algorithm for constructing a saturated transducer for the concatenation of two saturated transd...
Stavros Konstantinidis, Nicolae Santean, S. Yu