Zaslat SMS: El análisis formal de los lenguajes naturales