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