We consider rational relations made of pairs (u, v) of finite words such that v is a subword of u. We show that such a selecting relation can be realized by a transducer such that the output label of each transition is a subword of its input label. We also show that it is decidable whether a given relation has this property.
CITATION STYLE
Boasson, L., & Carton, O. (2015). Rational selecting relations and selectors. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8977, pp. 716–726). Springer Verlag. https://doi.org/10.1007/978-3-319-15579-1_56
Mendeley helps you to discover research relevant for your work.