Functorial approach to minimizing and learning deterministic transducers with outputs in arbitrary monoids - Institut de Recherche en Informatique Fondamentale Access content directly
Preprints, Working Papers, ... Year : 2023

Functorial approach to minimizing and learning deterministic transducers with outputs in arbitrary monoids

Abstract

We study monoidal transducers, transition systems arising as deterministic automata whose transitions also produce outputs in an arbitrary monoid, for instance allowing outputs to commute or to cancel out. We use the categorical framework for minimization and learning of Colcombet, Petrişan and Stabile to recover the notion of minimal transducer recognizing a language, and give necessary and sufficient conditions on the output monoid for this minimal transducer to exist and be unique (up to isomorphism). The categorical framework then provides an abstract algorithm for learning it using membership and equivalence queries, and we discuss practical aspects of this algorithm's implementation. We also extend the framework with a categorical algorithm for minimizing transition systems, whose instantiation retrieves the algorithm for minimizing monoidal transducers but also extends the class of output monoids for which this algorithm is valid.
Fichier principal
Vignette du fichier
main.pdf (704.85 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
licence : CC BY - Attribution

Dates and versions

hal-04172251 , version 1 (27-07-2023)
hal-04172251 , version 2 (28-11-2023)

Licence

Attribution

Identifiers

  • HAL Id : hal-04172251 , version 2

Cite

Quentin Aristote. Functorial approach to minimizing and learning deterministic transducers with outputs in arbitrary monoids. 2023. ⟨hal-04172251v2⟩
133 View
71 Download

Share

Gmail Facebook X LinkedIn More