Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Definability Results for Top-Down Tree Transducers   We prove that for a given deterministic top-down transducer with look-ahead
it is decidable whether or not its translation is definable (1)~by a linear
top-down tree transducer or (2)~by a tree homomorphism. We present algorithms
that construct equivalent such transducers if they exist.

23
The categories of this paper are: solv-int
7
The categories of this paper are: hep-th
3
The categories of this paper are: physics
30
The categories of this paper are: q-alg
8
The categories of this paper are: hep-ex
35
The categories of this paper are: mtrl-th
36
The categories of this paper are: cmp-lg
6
The categories of this paper are: astro-ph
15
The categories of this paper are: nucl-ex
26
The categories of this paper are: bayes-an
9
The categories of this paper are: nlin
2
The categories of this paper are: math
34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio
0
The categories of this paper are: hep-ph
20
The categories of this paper are: acc-phys