Learning automata and transducers: a categorical approach

Thomas Colcombet, Daniela Petrişan, Riccardo Stabile

In this paper, we present a categorical approach to learning automata over words, in the sense of the $L^{\ast }$-algorithm of Angluin. This yields a new generic $L^{\ast }$-like algorithm whi…