A Congruence-Based Perspective on Finite Tree Automata

Pierre Ganty, Elena Gutiérrez, Pedro Valero

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 algor…