Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Decision problems for word-hyperbolic semigroups   This paper studies decision problems for semigroups that are word-hyperbolic
in the sense of Duncan & Gilman. A fundamental investigation reveals that the
natural definition of a `word-hyperbolic structure' has to be strengthened
slightly in order to define a unique semigroup up to isomorphism. The
isomorphism problem is proven to be undecidable for word-hyperbolic semigroups
(in contrast to the situation for word-hyperbolic groups). It is proved that it
is undecidable whether a word-hyperbolic semigroup is automatic, asynchronously
automatic, biautomatic, or asynchronously biautomatic. (These properties do not
hold in general for word-hyperbolic semigroups.) It is proved that the uniform
word problem for word-hyperbolic semigroup is solvable in polynomial time
(improving on the previous exponential-time algorithm). Algorithms are
presented for deciding whether a word-hyperbolic semigroup is a monoid, a
group, a completely simple semigroup, a Clifford semigroup, or a free
semigroup.

30
The categories of this paper are: q-alg
25
The categories of this paper are: patt-sol
27
The categories of this paper are: comp-gas
6
The categories of this paper are: astro-ph
22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci
13
The categories of this paper are: quant-ph
7
The categories of this paper are: hep-th
21
The categories of this paper are: adap-org
34
The categories of this paper are: chem-ph
0
The categories of this paper are: hep-ph
20
The categories of this paper are: acc-phys
32
The categories of this paper are: atom-ph
33
The categories of this paper are: plasm-ph
28
The categories of this paper are: alg-geom
35
The categories of this paper are: mtrl-th