Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Equivalence Problems for Tree Transducers: A Brief Survey   The decidability of equivalence for three important classes of tree
transducers is discussed. Each class can be obtained as a natural restriction
of deterministic macro tree transducers (MTTs): (1) no context parameters,
i.e., top-down tree transducers, (2) linear size increase, i.e., MSO definable
tree transducers, and (3) monadic input and output ranked alphabets. For the
full class of MTTs, decidability of equivalence remains a long-standing open
problem.

22
The categories of this paper are: chao-dyn
19
The categories of this paper are: eess
21
The categories of this paper are: adap-org
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
9
The categories of this paper are: nlin
6
The categories of this paper are: astro-ph
18
The categories of this paper are: econ
11
The categories of this paper are: hep-lat
14
The categories of this paper are: math-ph
15
The categories of this paper are: nucl-ex
10
The categories of this paper are: q-bio
4
The categories of this paper are: cond-mat
13
The categories of this paper are: quant-ph
34
The categories of this paper are: chem-ph
23
The categories of this paper are: solv-int