40 citations · 108 across the 14 of their papers we have counts for
Showing 2017 · cs.LOShow all
2 papers · 2 filters
cs.LO2017★ 10 cited
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…
cs.LO2017★ 4 cited
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…