Automata Minimization: a Functorial Approach

In this paper we regard languages and their acceptors - such as deterministic or weighted automata, transducers, or monoids - as functors from input categories that specify the type of the languages and of the machines to categories that specify the type of outputs. Our results are as follows: A)...

Full description

Bibliographic Details
Main Authors: Thomas Colcombet, Daniela Petrişan
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2020-03-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/4159/pdf