Enviar por SMS: Formal Languages and Automata Theory /