Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Reachability analysis of first-order definable pushdown systems   We study pushdown systems where control states, stack alphabet, and
transition relation, instead of being finite, are first-order definable in a
fixed countably-infinite structure. We show that the reachability analysis can
be addressed with the well-known saturation technique for the wide class of
oligomorphic structures. Moreover, for the more restrictive homogeneous
structures, we are able to give concrete complexity upper bounds. We show ample
applicability of our technique by presenting several concrete examples of
homogeneous structures, subsuming, with optimal complexity, known results from
the literature. We show that infinitely many such examples of homogeneous
structures can be obtained with the classical wreath product construction.

31
The categories of this paper are: ao-sci
21
The categories of this paper are: adap-org
14
The categories of this paper are: math-ph
29
The categories of this paper are: funct-an
5
The categories of this paper are: gr-qc
20
The categories of this paper are: acc-phys
4
The categories of this paper are: cond-mat
22
The categories of this paper are: chao-dyn
2
The categories of this paper are: math
35
The categories of this paper are: mtrl-th
8
The categories of this paper are: hep-ex
18
The categories of this paper are: econ
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
0
The categories of this paper are: hep-ph