Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Frobenius and factor universality problems of the Kleene star of a
  finite set of words   We solve open problems concerning the Kleene star $L^*$ of a finite set $L$
of words over an alphabet $\Sigma$. The \emph{Frobenius monoid} problem is the
question for a given finite set of words $L$, whether the language $L^*$ is
cofinite. We show that it is PSPACE-complete. We also exhibit an infinite
family of sets $L$ such that the length of the longest words not in $L^*$ (when
$L^*$ is cofinite) is exponential in the length of the longest words in $L$ and
subexponential in the sum of the lengths of words in $L$. The \emph{factor
universality} problem is the question for a given finite set of words $L$,
whether every word over $\Sigma$ is a factor (substring) of some word from
$L^*$. We show that it is also PSPACE-complete. Besides that, we exhibit an
infinite family of sets $L$ such that the length of the shortest words not
being a factor of any word in $L^*$ is exponential in the length of the longest
words in $L$ and subexponential in the sum of the lengths of words in $L$. This
essentially settles in the negative the longstanding Restivo's conjecture
(1981) and its weak variations. All our solutions base on one shared
construction, and as an auxiliary general tool, we introduce the concept of
\emph{set rewriting systems}. Finally, we complement the results with upper
bounds.

12
The categories of this paper are: nucl-th
0
The categories of this paper are: hep-ph
9
The categories of this paper are: nlin
4
The categories of this paper are: cond-mat
36
The categories of this paper are: cmp-lg
22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph
33
The categories of this paper are: plasm-ph
20
The categories of this paper are: acc-phys
6
The categories of this paper are: astro-ph
21
The categories of this paper are: adap-org
14
The categories of this paper are: math-ph
10
The categories of this paper are: q-bio
2
The categories of this paper are: math
29
The categories of this paper are: funct-an