Automata in the Category of Glued Vector Spaces
Thomas Colcombet, Daniela Petrişan · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017
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 class of automata that are hybrid between deterministic automata and automata weighted over a field.