Invia SMS: Theory of formal systems