Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Containment Problem for Unambiguous Register Automata   We investigate the complexity of the containment problem "Does $L(A)\subseteq
L(B)$ hold?", where $B$ is an unambiguous register automaton and $A$ is an
arbitrary register automaton. We prove that the problem is decidable and give
upper bounds on the computational complexity in the general case, and when $B$
is restricted to have a fixed number of registers.

24
The categories of this paper are: dg-ga
27
The categories of this paper are: comp-gas
21
The categories of this paper are: adap-org
20
The categories of this paper are: acc-phys
9
The categories of this paper are: nlin
19
The categories of this paper are: eess
29
The categories of this paper are: funct-an
10
The categories of this paper are: q-bio
32
The categories of this paper are: atom-ph
7
The categories of this paper are: hep-th
30
The categories of this paper are: q-alg
14
The categories of this paper are: math-ph
8
The categories of this paper are: hep-ex
33
The categories of this paper are: plasm-ph
26
The categories of this paper are: bayes-an
6
The categories of this paper are: astro-ph