• Media type: Text; Electronic Conference Proceeding; E-Article
  • Title: Automata in the Category of Glued Vector Spaces
  • Contributor: Colcombet, Thomas [Author]; Petrisan, Daniela [Author]
  • imprint: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
  • Language: English
  • DOI: https://doi.org/10.4230/LIPIcs.MFCS.2017.52
  • Keywords: hybrid set-vector automata ; automata minimization in a category
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: 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.
  • Access State: Open Access