Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Canonical Automata via Distributive Law Homomorphisms   The classical powerset construction is a standard method converting a
non-deterministic automaton into a deterministic one recognising the same
language. Recently, the powerset construction has been lifted to a more general
framework that converts an automaton with side-effects, given by a monad, into
a deterministic automaton accepting the same language. The resulting automaton
has additional algebraic properties, both in the state space and transition
structure, inherited from the monad. In this paper, we study the reverse
construction and present a framework in which a deterministic automaton with
additional algebraic structure over a given monad can be converted into an
equivalent succinct automaton with side-effects. Apart from recovering examples
from the literature, such as the canonical residual finite-state automaton and
the \'atomaton, we discover a new canonical automaton for a regular language by
relating the free vector space monad over the two element field to the
neighbourhood monad. Finally, we show that every regular language satisfying a
suitable property parametric in two monads admits a size-minimal succinct
acceptor.

22
The categories of this paper are: chao-dyn
17
The categories of this paper are: q-fin
27
The categories of this paper are: comp-gas
29
The categories of this paper are: funct-an
8
The categories of this paper are: hep-ex
13
The categories of this paper are: quant-ph
19
The categories of this paper are: eess
26
The categories of this paper are: bayes-an
3
The categories of this paper are: physics
32
The categories of this paper are: atom-ph
37
The categories of this paper are: supr-con
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
34
The categories of this paper are: chem-ph
30
The categories of this paper are: q-alg
0
The categories of this paper are: hep-ph