Learning automata and transducers: a categorical approach - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

Learning automata and transducers: a categorical approach

Apprentissage d'automates et de transducteurs: une approche catégorique

Abstract

In this paper, we present a categorical approach to learning automata over words, in the sense of the L∗-algorithm of Angluin. This yields a new generic L∗-like algorithm which can be instantiated for learning deterministic automata, automata weighted over fields, as well as subsequential transducers. The generic nature of our algorithm is obtained by adopting an approach in which automata are simply functors from a particular category representing words to a “computation category”. We establish that the sufficient properties for yielding the existence of minimal automata (that were disclosed in a previous paper), in combination with some additional hypotheses relative to termination, ensure the correctness of our generic algorithm.
Fichier principal
Vignette du fichier
LIPIcs-CSL-2021-15.pdf (646.31 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

hal-03106961 , version 1 (14-01-2021)

Identifiers

Cite

Thomas Colcombet, Daniela Petrişan, Riccardo Stabile. Learning automata and transducers: a categorical approach. 29th {EACSL} Annual Conference on Computer Science Logic, CSL 2021, Jan 2021, Ljubljana, Slovenia. ⟨10.4230/LIPIcs.CSL.2021.15⟩. ⟨hal-03106961⟩
61 View
80 Download

Altmetric

Share

Gmail Facebook X LinkedIn More