Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Closure properties of predicates recognized by deterministic and
  non-deterministic asynchronous automata   Let A be a finite alphabet and let L contained in (A*)^n be an n-variable
language over A. We say that L is regular if it is the language accepted by a
synchronous n-tape finite state automaton, it is quasi-regular if it is
accepted by an asynchronous n-tape automaton, and it is weakly regular if it is
accepted by a non-deterministic asynchronous n-tape automaton. We investigate
the closure properties of the classes of regular, quasi-regular, and weakly
regular languages under first-order logic, and apply these observations to an
open decidability problem in automatic group theory.

15
The categories of this paper are: nucl-ex
25
The categories of this paper are: patt-sol
12
The categories of this paper are: nucl-th
3
The categories of this paper are: physics
32
The categories of this paper are: atom-ph
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas
6
The categories of this paper are: astro-ph
23
The categories of this paper are: solv-int
8
The categories of this paper are: hep-ex
34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio
24
The categories of this paper are: dg-ga
19
The categories of this paper are: eess
28
The categories of this paper are: alg-geom
36
The categories of this paper are: cmp-lg