Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: 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) We provide sufficient conditions on the output
category so that minimization of the corresponding automata is guaranteed. b)
We show how to lift adjunctions between the categories for output values to
adjunctions between categories of automata. c) We show how this framework can
be applied to several phenomena in automata theory, starting with
determinization and minimization (previously studied from a coalgebraic and
duality theoretic perspective). We apply in particular these techniques to
Choffrut's minimization algorithm for subsequential transducers and revisit
Brzozowski's minimization algorithm.

36
The categories of this paper are: cmp-lg
33
The categories of this paper are: plasm-ph
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
19
The categories of this paper are: eess
16
The categories of this paper are: stat
21
The categories of this paper are: adap-org
15
The categories of this paper are: nucl-ex
0
The categories of this paper are: hep-ph
6
The categories of this paper are: astro-ph
20
The categories of this paper are: acc-phys
25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
13
The categories of this paper are: quant-ph
31
The categories of this paper are: ao-sci
3
The categories of this paper are: physics