Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A decidable class of (nominal) omega-regular languages over an infinite
  alphabet   We define a class of languages of infinite words over infinite alphabets, and
the corresponding automata. The automata used for recognition are a
generalisation of deterministic Muller automata to the setting of nominal sets.
Remarkably, the obtained languages are determined by their ultimately periodic
fragments, as in the classical case. Closure under complement, union and
intersection, and decidability of emptiness and equivalence are preserved by
the generalisation. This is shown by using finite representations of the
(otherwise infinite-state) defined class of automata.

2
The categories of this paper are: math
35
The categories of this paper are: mtrl-th
12
The categories of this paper are: nucl-th
34
The categories of this paper are: chem-ph
24
The categories of this paper are: dg-ga
29
The categories of this paper are: funct-an
36
The categories of this paper are: cmp-lg
22
The categories of this paper are: chao-dyn
15
The categories of this paper are: nucl-ex
17
The categories of this paper are: q-fin
16
The categories of this paper are: stat
28
The categories of this paper are: alg-geom
30
The categories of this paper are: q-alg
21
The categories of this paper are: adap-org
31
The categories of this paper are: ao-sci
4
The categories of this paper are: cond-mat