We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.FL

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: 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.
Subjects: Formal Languages and Automata Theory (cs.FL)
ACM classes: F.4.3
Cite as: arXiv:2103.15651 [cs.FL]
  (or arXiv:2103.15651v1 [cs.FL] for this version)

Submission history

From: Luc Dartois [view email]
[v1] Mon, 29 Mar 2021 14:27:35 GMT (85kb,D)

Link back to: arXiv, form interface, contact.