文章基本信息

标题：Automata in the Category of Glued Vector Spaces
本地全文：下载
作者：Thomas Colcombet ; Daniela Petrisan
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2017
卷号：83
页码：52:1-52:14
DOI：10.4230/LIPIcs.MFCS.2017.52
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：hybrid set-vector automata; automata minimization in a category