Tree Automata and Term Rewrite Systems (Extended Abstract)
Sophie Tison · 2000
This tutorial is devoted to tree automata. We will present some of the most fruitful applications of tree automata in rewriting the- ory and we will give an outline of the current state of research on tree automata. We give here just as ketch of the presentation. The reader can also refer to the on-line book \Tree Automata and Their Applications (CDG + 97).