Ume̊a University Department of Computing Science Lecture notes on TREE AUTOMATA prepared by the participants of the course Formal Languages (spring term 09) Frank Drewes…