Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Decidability and Shortest Strings in Formal Languages   Given a formal language L specified in various ways, we consider the problem
of determining if L is nonempty. If L is indeed nonempty, we find upper and
lower bounds on the length of the shortest string in L.

16
The categories of this paper are: stat
27
The categories of this paper are: comp-gas
36
The categories of this paper are: cmp-lg
2
The categories of this paper are: math
23
The categories of this paper are: solv-int
7
The categories of this paper are: hep-th
21
The categories of this paper are: adap-org
3
The categories of this paper are: physics
17
The categories of this paper are: q-fin
18
The categories of this paper are: econ
4
The categories of this paper are: cond-mat
33
The categories of this paper are: plasm-ph
34
The categories of this paper are: chem-ph
19
The categories of this paper are: eess
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con