Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Nominal B\"uchi Automata with Name Allocation   Infinite words over infinite alphabets serve as models of the temporal
development of the allocation and (re-)use of resources over linear time. We
approach omega-languages over infinite alphabets in the setting of nominal
sets, and study languages of infinite bar strings, i.e. infinite sequences of
names that feature binding of fresh names; binding corresponds roughly to
reading letters from input words in automata models with registers. We
introduce regular nominal nondeterministic B\"uchi automata (B\"uchi RNNAs), an
automata model for languages of infinite bar strings, repurposing the
previously introduced RNNAs over finite bar strings. Our machines feature
explicit binding (i.e. resource-allocating) transitions and process their input
via a B\"uchi-type acceptance condition. They emerge from the abstract
perspective on name binding given by the theory of nominal sets. As our main
result we prove that, in contrast to most other nondeterministic automata
models over infinite alphabets, language inclusion of B\"uchi RNNAs is
decidable and in fact elementary. This makes B\"uchi RNNAs a suitable tool for
applications in model checking.

8
The categories of this paper are: hep-ex
6
The categories of this paper are: astro-ph
25
The categories of this paper are: patt-sol
34
The categories of this paper are: chem-ph
31
The categories of this paper are: ao-sci
17
The categories of this paper are: q-fin
21
The categories of this paper are: adap-org
0
The categories of this paper are: hep-ph
24
The categories of this paper are: dg-ga
11
The categories of this paper are: hep-lat
16
The categories of this paper are: stat
12
The categories of this paper are: nucl-th
7
The categories of this paper are: hep-th
28
The categories of this paper are: alg-geom
35
The categories of this paper are: mtrl-th
9
The categories of this paper are: nlin