Continuity of Functional Transducers: A Profinite Study of Rational Functions

A word-to-word function is continuous for a class of languages~$\mathcal{V}$ if its inverse maps $\mathcal{V}$_languages to~$\mathcal{V}$. This notion provides a basis for an algebraic study of transducers, and was integral to the characterization of the sequential transducers computable in some cir...

Full description

Bibliographic Details
Main Authors: Michaël Cadilhac, Olivier Carton, Charles Paperman
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2020-02-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/4336/pdf