Envoyer par SMS: Lenguajes formales y teoría de autómatas