@bibtex{          2103.15651,
  Author        = "Carton, Olivier and Dartois, Luc",
  Abstract      = "Deterministic two-way transducers on finite words have been shown by Engelfriet and Hoogeboom to have the same expressive power as MSO-transductions. We introduce a notion of aperiodicity for these transducers and we show that aperiodic transducers correspond exactly to FO-transductions. This lifts to transducers the classical equivalence for languages between FO-definability, recognition by aperiodic monoids and acceptance by counter-free automata.",
  date-added    = "2021-04-04 15:39:57 +0200",
  date-modified = "2021-04-04 15:39:58 +0200",
  EPrint        = "arXiv:2103.15651",
  EPrintType    = "arXiv",
  Title         = "{A}periodic two-way transducers and {F}{O}-transductions",
  URL           = "http://arxiv.org/abs/2103.15651",
  Year          = "2021",
  bdsk-url-1    = "http://arxiv.org/abs/2103.15651",
  File          = "2103.15651 - l.pdf"
}

@bibtex{ 2103.15651, Author = "Carton, Olivier and Dartois, Luc", Abstract = "Deterministic two-way transducers on finite words have been shown by Engelfriet and Hoogeboom to have the same expressive power as MSO-transductions. We introduce a notion of aperiodicity for these transducers and we show that aperiodic transducers correspond exactly to FO-transductions. This lifts to transducers the classical equivalence for languages between FO-definability, recognition by aperiodic monoids and acceptance by counter-free automata.", date-added = "2021-04-04 15:39:57 +0200", date-modified = "2021-04-04 15:39:58 +0200", EPrint = "arXiv:2103.15651", EPrintType = "arXiv", Title = "{A}periodic two-way transducers and {F}{O}-transductions", URL = "http://arxiv.org/abs/2103.15651", Year = "2021", bdsk-url-1 = "http://arxiv.org/abs/2103.15651", File = "2103.15651 - l.pdf" }