tree automata: an informal survey