Algebraic Recognition of Regular Functions - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

Algebraic Recognition of Regular Functions


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 (705.28 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03985883 , version 1 (13-02-2023)


Attribution - CC BY 4.0


  • HAL Id : hal-03985883 , version 1


Mikołaj Bojańczyk, Lê Thành Dũng Nguyễn. Algebraic Recognition of Regular Functions. 2023. ⟨hal-03985883⟩
0 View
0 Download


Gmail Facebook Twitter LinkedIn More