發送短信: Lenguajes formales y teoría de autómatas