Untwisting two-way transducers in elementary time - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Untwisting two-way transducers in elementary time

Résumé

Functional transductions realized by two-way transducers (equivalently, by streaming transducers and by MSO transductions) are the natural and standard notion of "regular" mappings from words to words. It was shown recently (LICS'13) that it is decidable if such a transduction can be implemented by some one-way transducer, but the given algorithm has non-elementary complexity. We provide an algorithm of different flavor solving the above question, that has double exponential space complexity. We further apply our technique to decide whether the transduction realized by a two-way transducer can be implemented by a sweeping transducer, with either known or unknown number of passes.
Fichier principal
Vignette du fichier
final_lics17.pdf (572.78 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01864614 , version 1 (30-08-2018)

Identifiants

Citer

Félix Baschenis, Olivier Gauwin, Anca Muscholl, Gabriele Puppis. Untwisting two-way transducers in elementary time. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'17), Jun 2017, Reykjavik, Iceland. pp.1-12, ⟨10.1109/LICS.2017.8005138⟩. ⟨hal-01864614⟩

Collections

CNRS ANR
37 Consultations
75 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More