Automata in the Category of Glued Vector Spaces
arXiv:1711.06065
Abstract
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.
15 pages, knowledge enriched version of the MFCS 2017 proceedings paper