Enviar por SMS: Theory of formal systems