Invia SMS: Foundations of XML Processing. The Tree-Automata Approach