Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Turing Machines on Graphs and Inescapable Groups   We present a generalization of standard Turing machines based on allowing
unusual tapes. We present a set of reasonable constraints on tape geometry and
classify all tapes conforming to these constraints. Surprisingly, this
generalization does not lead to yet another equivalent formulation of the
notion of computable function. Rather, it gives an alternative definition of
the recursively enumerable Turing degrees that does not rely on oracles. The
definitions give rise to a number of questions about computable paths inside
Cayley graphs of finitely generated groups, and several of these questions are
answered.

28
The categories of this paper are: alg-geom
25
The categories of this paper are: patt-sol
27
The categories of this paper are: comp-gas
8
The categories of this paper are: hep-ex
5
The categories of this paper are: gr-qc
3
The categories of this paper are: physics
22
The categories of this paper are: chao-dyn
21
The categories of this paper are: adap-org
6
The categories of this paper are: astro-ph
30
The categories of this paper are: q-alg
15
The categories of this paper are: nucl-ex
12
The categories of this paper are: nucl-th
37
The categories of this paper are: supr-con
4
The categories of this paper are: cond-mat
36
The categories of this paper are: cmp-lg
16
The categories of this paper are: stat