Automata in the Category of Glued Vector Spaces
Formal Languages and Automata Theory
2017-11-17 v1
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.
Keywords
Cite
@article{arxiv.1711.06065,
title = {Automata in the Category of Glued Vector Spaces},
author = {Thomas Colcombet and Daniela Petrişan},
journal= {arXiv preprint arXiv:1711.06065},
year = {2017}
}
Comments
15 pages, knowledge enriched version of the MFCS 2017 proceedings paper