Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On finite complete rewriting systems, finite derivation type, and
  automaticity for homogeneous monoids   This paper investigates the class of finitely presented monoids defined by
homogeneous (length-preserving) relations from a computational perspective. The
properties of admitting a finite complete rewriting system, having finite
derivation type, being automatic, and being biautomatic are investigated for
this class of monoids. The first main result shows that for any consistent
combination of these properties and their negations, there is a homogeneous
monoid with exactly this combination of properties. We then introduce the new
concept of abstract Rees-commensurability (an analogue of the notion of
abstract commensurability for groups) in order to extend this result to show
that the same statement holds even if one restricts attention to the class of
$n$-ary homogeneous monoids (where every side of every relation has fixed
length $n$). We then introduce a new encoding technique that allows us to
extend the result partially to the class of $n$-ary multihomogenous monoids.

24
The categories of this paper are: dg-ga
12
The categories of this paper are: nucl-th
28
The categories of this paper are: alg-geom
35
The categories of this paper are: mtrl-th
32
The categories of this paper are: atom-ph
31
The categories of this paper are: ao-sci
0
The categories of this paper are: hep-ph
33
The categories of this paper are: plasm-ph
34
The categories of this paper are: chem-ph
29
The categories of this paper are: funct-an
20
The categories of this paper are: acc-phys
11
The categories of this paper are: hep-lat
3
The categories of this paper are: physics
37
The categories of this paper are: supr-con
6
The categories of this paper are: astro-ph
7
The categories of this paper are: hep-th