Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Residual Finite Tree Automata   Tree automata based algorithms are essential in many fields in computer
science such as verification, specification, program analysis. They become also
essential for databases with the development of standards such as XML. In this
paper, we define new classes of non deterministic tree automata, namely
residual finite tree automata (RFTA). In the bottom-up case, we obtain a new
characterization of regular tree languages. In the top-down case, we obtain a
subclass of regular tree languages which contains the class of languages
recognized by deterministic top-down tree automata. RFTA also come with the
property of existence of canonical non deterministic tree automata.

29
The categories of this paper are: funct-an
35
The categories of this paper are: mtrl-th
36
The categories of this paper are: cmp-lg
32
The categories of this paper are: atom-ph
33
The categories of this paper are: plasm-ph
15
The categories of this paper are: nucl-ex
17
The categories of this paper are: q-fin
22
The categories of this paper are: chao-dyn
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
27
The categories of this paper are: comp-gas
0
The categories of this paper are: hep-ph
18
The categories of this paper are: econ
12
The categories of this paper are: nucl-th
2
The categories of this paper are: math
6
The categories of this paper are: astro-ph