Algebraic Recognition of Regular Functions - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

Algebraic Recognition of Regular Functions

Résumé

We consider regular string-to-string functions, i.e. functions that are recognized by copyless streaming string transducers, or any of their equivalent models, such as deterministic two-way automata. We give yet another characterization, which is very succinct: finiteness-preserving functors from the category of semigroups to itself, together with a certain output function that is a natural transformation.
Fichier principal
Vignette du fichier
main.pdf (751.66 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03985883 , version 1 (13-02-2023)
hal-03985883 , version 2 (12-07-2023)

Licence

Identifiants

Citer

Mikołaj Bojańczyk, Lê Thành Dũng Nguyễn. Algebraic Recognition of Regular Functions. 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), Jul 2023, Paderborn, Germany. pp.117:1-117:19, ⟨10.4230/LIPIcs.ICALP.2023.117⟩. ⟨hal-03985883v2⟩
406 Consultations
230 Téléchargements

Altmetric

Partager

More