Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Using Automata to obtain Regular Expressions for Induced Actions   Presentations of Kan extensions of category actions provide a natural
framework for expressing induced actions, and therefore a range of different
combinatorial problems. Rewrite systems for Kan extensions have been defined
and a variation on the Knuth-Bendix completion procedure can be used to
complete them -- when possible. Regular languages and automata are a useful way
of expressing sets and actions, and in this paper we explain how to use rewrite
systems for Kan extensions to construct automata expressing the induced action
and how sets of normal forms can be calculated by obtaining language equations
from the automata.

14
The categories of this paper are: math-ph
28
The categories of this paper are: alg-geom
24
The categories of this paper are: dg-ga
23
The categories of this paper are: solv-int
8
The categories of this paper are: hep-ex
11
The categories of this paper are: hep-lat
20
The categories of this paper are: acc-phys
4
The categories of this paper are: cond-mat
7
The categories of this paper are: hep-th
31
The categories of this paper are: ao-sci
29
The categories of this paper are: funct-an
22
The categories of this paper are: chao-dyn
30
The categories of this paper are: q-alg
1
The categories of this paper are: cs
13
The categories of this paper are: quant-ph
9
The categories of this paper are: nlin