Enviar por SMS: Formal language description languages