5 citations · 8 across the 8 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.FL2017★ 1 cited
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…
cs.FL2017
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…