Tree Automata and Applications 24