Basics on Tree Automata