From Two-Way Transducers to Regular Function Expressions

Abstract : Transducers constitute a fundamental extension of automata. The class of regular word functions has recently emerged as an important class of word-to-word functions, characterized by means of (functional, or unambiguous, or deterministic) two-way transducers, copyless streaming string transducers, and MSO-definable graph transformations. A fundamental result in language theory is Kleene’s Theorem, relating finite state automata and regular expressions. In [3], the authors introduced a set of regular function expressions and proved a similar result for regular word functions, by showing the equivalence with copyless streaming string transducers. In this paper, we propose a direct, simplified and effective translation from unambiguous two-way transducers to regular function expressions extending the Brzozowski and McCluskey algorithm. In addition, we identify a subset of regular function expressions characterizing the (strict) subclass of functional sweeping transducers.
Type de document :
Communication dans un congrès
Mizuho Hoshi; Shinnosuke Seki. 22nd International Conference on Developments in Language Theory (DLT 2018), Sep 2018, Tokyo, Japan. Springer-Verlag, Lecture Notes in Computer Science, 11088, pp.96-108, 2018, Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings. 〈10.1007/978-3-319-98654-8_8〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-02003430
Contributeur : Nicolas Baudru <>
Soumis le : vendredi 1 février 2019 - 12:02:16
Dernière modification le : jeudi 7 février 2019 - 17:13:11

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Copyright (Tous droits réservés)

Identifiants

Collections

Citation

Nicolas Baudru, Pierre-Alain Reynier. From Two-Way Transducers to Regular Function Expressions. Mizuho Hoshi; Shinnosuke Seki. 22nd International Conference on Developments in Language Theory (DLT 2018), Sep 2018, Tokyo, Japan. Springer-Verlag, Lecture Notes in Computer Science, 11088, pp.96-108, 2018, Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings. 〈10.1007/978-3-319-98654-8_8〉. 〈hal-02003430〉

Partager

Métriques

Consultations de la notice

71

Téléchargements de fichiers

26