40 citations · 108 across the 14 of their papers we have counts for
4 papers · 1 filter
Automata Minimization: a Functorial Approach
Thomas Colcombet, Daniela Petrişan
In this paper we regard languages and their acceptors - such as deterministic or weighted automata, transducers, or monoids - as functors from input categories that specify the typ…
Automata in the Category of Glued Vector Spaces
Thomas Colcombet, Daniela Petrişan
In this paper we adopt a category-theoretic approach to the conception of automata classes enjoying minimization by design. The main instantiation of our construction is a new clas…
Automata Minimization: a Functorial Approach
Thomas Colcombet, Daniela Petrişan
In this paper we regard languages and their acceptors -- such as deterministic or weighted automata, transducers, or monoids -- as functors from input categories that specify the t…
Quantifiers on languages and codensity monads
Mai Gehrke, Daniela Petrisan, Luca Reggio
This paper contributes to the techniques of topo-algebraic recognition for languages beyond the regular setting as they relate to logic on words. In particular, we provide a genera…