Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Congruence-Based Perspective on Finite Tree Automata   We provide new insights on the determinization and minimization of tree
automata using congruences on trees. From this perspective, we study a
Brzozowski's style minimization algorithm for tree automata. First, we prove
correct this method relying on the following fact: when the automata-based and
the language-based congruences coincide, determinizing the automaton yields the
minimal one. Such automata-based congruences, in the case of word automata, are
defined using pre and post operators. Now we extend these operators to tree
automata, a task that is particularly challenging due to the reduced expressive
power of deterministic top-down (or equivalently co-deterministic bottom-up)
automata. We leverage further our framework to offer an extension of the
original result by Brzozowski for word automata.

9
The categories of this paper are: nlin
20
The categories of this paper are: acc-phys
18
The categories of this paper are: econ
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
2
The categories of this paper are: math
25
The categories of this paper are: patt-sol
16
The categories of this paper are: stat
30
The categories of this paper are: q-alg
14
The categories of this paper are: math-ph
33
The categories of this paper are: plasm-ph
32
The categories of this paper are: atom-ph
27
The categories of this paper are: comp-gas
15
The categories of this paper are: nucl-ex
28
The categories of this paper are: alg-geom
29
The categories of this paper are: funct-an