Abstract
Regular string-to-string functions enjoy a nice triple characterization through deterministic two-way transducers (\(\mathrm {2DFT}\)), streaming string transducers (\(\mathrm {SST}\)) and \(\mathrm {MSO}\) definable functions. This result has recently been lifted to \(\mathrm {FO}\) definable functions, with equivalent representations by means of aperiodic \(\mathrm {2DFT}\) and aperiodic 1-bounded \(\mathrm {SST}\), extending a well-known result on regular languages. In this paper, we give three direct transformations: (i) from 1-bounded \(\mathrm {SST}\) to \(\mathrm {2DFT}\), (ii) from \(\mathrm {2DFT}\) to copyless \(\mathrm {SST}\), and (iii) from k-bounded to 1-bounded \(\mathrm {SST}\). We give the complexity of each construction and also prove that they preserve the aperiodicity of transducers. As corollaries, we obtain that \(\mathrm {FO}\) definable string-to-string functions are equivalent to \(\mathrm {SST}\) whose transition monoid is finite and aperiodic, and to aperiodic copyless \(\mathrm {SST}\).
This work is supported by the ARC project Transform (French speaking community of Belgium), the Belgian FNRS PDR project Flare, and the PHC project VAST (35961QJ) funded by Campus France and WBI.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alur, R., Černý, P.: Expressiveness of streaming string transducers. In: FSTTCS. LIPIcs, vol. 8, pp. 1–12. Schloss Dagstuhl, Leibniz-Zentrum für Informatik (2010)
Alur, R., Durand-Gasselin, A., Trivedi, A.: From monadic second-order definable string transformations to transducers. In: LICS, pp. 458–467 (2013)
Alur, R., Filiot, E., Trivedi, A.: Regular transformations of infinite strings. In: LICS, pp. 65–74 (2012)
Carton, O., Dartois, L.: Aperiodic two-way transducers and fo-transductions. In: CSL. LIPIcs, vol. 41, pp. 160–174. Schloss Dagstuhl, Leibniz-Zentrum für Informatik (2015)
Chytil, M.P., Jákl, V.: Serial composition of 2-way finite-state transducers and simple programs on strings. In: Salomaa, A., Steinby, M. (eds.) ICALP 1977. LNCS, vol. 52, pp. 135–137. Springer, Heidelberg (1977)
Dartois, L.: Méthodes algébriques pour la théorie des automates. Ph.D. thesis, LIAFA-Université Paris Diderot, Paris (2014)
Dartois, L., Jecker, I., Reynier, P.A.: Aperiodic string transducers. CoRR abs/1506.04059 (2016). http://arXiv.org/abs/1506.04059
Engelfriet, J., Hoogeboom, H.J.: MSO definable string transductions and two-way finite-state transducers. ACM Trans. Comput. Log. 2(2), 216–254 (2001)
Filiot, E.: Logic-automata connections for transformations. In: Banerjee, M., Krishna, S.N. (eds.) ICLA. LNCS, vol. 8923, pp. 30–57. Springer, Heidelberg (2015)
Filiot, E., Gauwin, O., Reynier, P.A., Servais, F.: From two-way to one-way finite state transducers. In: LICS, pp. 468–477. IEEE Computer Society (2013). lics13.pdf
Filiot, E., Krishna, S.N., Trivedi, A.: First-order definable string transformations. In: FSTTCS 2014. LIPIcs, vol. 29, pp. 147–159. Schloss Dagstuhl, Leibniz-Zentrum für Informatik
McNaughton, R., Papert, S.: Counter-Free Automata. The M.I.T. Press, Cambridge, London (1971)
Schützenberger, M.P.: On finite monoids having only trivial subgroups. Inf. Control 8, 190–194 (1965)
Shepherdson, J.C.: The reduction of two-way automata to one-way automata. IBM J. Res. Dev. 3(2), 198–200 (1959)
de Souza, R.: Uniformisation of two-way transducers. In: Dediu, A.-H., Martín-Vide, C., Truthe, B. (eds.) LATA 2013. LNCS, vol. 7810, pp. 547–558. Springer, Heidelberg (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dartois, L., Jecker, I., Reynier, PA. (2016). Aperiodic String Transducers. In: Brlek, S., Reutenauer, C. (eds) Developments in Language Theory. DLT 2016. Lecture Notes in Computer Science(), vol 9840. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-53132-7_11
Download citation
DOI: https://doi.org/10.1007/978-3-662-53132-7_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-53131-0
Online ISBN: 978-3-662-53132-7
eBook Packages: Computer ScienceComputer Science (R0)