Aperiodic two-way transducers and FO-transductions
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- March 2021
- DOI:
- 10.48550/arXiv.2103.15651
- arXiv:
- arXiv:2103.15651
- Bibcode:
- 2021arXiv210315651C
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- F.4.3