Envoyer par SMS: Formal languages & automata theory